Refinement types for secure implementations. In: (2008)

by J Bengtson, K Bhargavan, C Fournet, S Maffeis, A D Gordon
Venue:In 21st IEEE Computer Security Foundations Symposium (CSF08.