Jump to Content

Analyzing security protocols with secrecy types and logic programs

Bruno Blanchet
POPL (2002), pp. 33-44

Abstract

Research Areas