All your IFCException are belong to us,” (2013)

by C Hritcu, M Greenberg, B Karel, B C Pierce, G Morrisett
Venue:in 34th IEEE Symposium on Security and Privacy. IEEE