Analyzing security protocols with secrecy types and logic programs

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

Abstract

Research Areas