All your IFCException are belong to us (2013)

by C Hrit¸cu, M Greenberg, B Karel, B C Pierce, G Morrisett
Venue:In 34th IEEE Symposium on Security and Privacy