Security-typed languages for implementation of cryptographic protocols: A case study (2005)

by A Askarov, A Sabelfeld
Venue:In Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS