Jump to Content

Analyzing security protocols with secrecy types and logic programs

Bruno Blanchet
J. ACM, vol. 52 (2005), pp. 102-146

Abstract

Research Areas