No. Title Author Year
1 A Symbolic Framework to Analyse Physical Proximity in Security Protocols Debant, Alexandre et al. 2018
2 Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk) Delaune, Stéphanie 2018
3 Partial Order Reduction for Security Protocols Baelde, David et al. 2015
4 Transforming Password Protocols to Compose Chevalier, Céline et al. 2011
5 Simulation based security in the applied pi calculus Delaune, Stéphanie et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Imprint | Privacy Published by LZI