Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy, Vitaly Shmatikov, et al.. Computationally Sound Compositional Logic for Security Protocols.
Workshop on Formal and Computational Cryptography - FCC 2006, Véronique Cortier et Steve Kremer, Jul 2006, Venice/Italy.
⟨inria-00080593⟩