Author:
Bengtson, Jesper (Uppsala University, Computer Systems) (Mobility)
Bhargavan, Karthikeyan
Fournet, Cédric
Gordon, Andrew D.
Maffeis, Sergio
Title:
Refinement Types for Secure Implementations
Department:
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems
Publication type:
Conference paper (Refereed)
In:
Proc. 21st IEEE Computer Security Foundations Symposium
Place of publ.:
Piscataway, NJ
URI:
urn:nbn:se:uu:diva-102318
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-102318
Available from:
2009-05-07
Statistics:
54 hits