Approximate Non-Interference (0)

by A Di Pierro, C Hankin, H Wiklicky
Venue:in Proc. of 15th Computer Security Foundations Workshop, IEEE CS