The Layered Games Framework for Specifications and Analysis of Security Protocols.

Amir Herzberg, Igal Yoffe

Browse the full TCC paper archive.