Filters








2 Hits in 3.4 sec

Automated verification of selected equivalences for security protocols

Bruno Blanchet, Martín Abadi, Cédric Fournet
2008 The Journal of Logic and Algebraic Programming  
In 14th IEEE Computer Security Foundations Workshop (CSFW-14), pages 82-96, Cape Breton, Nova Scotia, Canada, June 2001. IEEE Computer Society. [16] B. Blanchet.  ...  In Proceedings of the 15th IEEE Computer Security Foundations Workshop, pages 320-330, Cape Breton, Nova Scotia, June 2002. [45] F. Pottier and V. Simonet. Information flow inference for ML.  ... 
doi:10.1016/j.jlap.2007.06.002 fatcat:nmycjrfkorb2romaxbptsj3eea

Automated Verification of Selected Equivalences for Security Protocols

B. Blanchet, M. Abadi, C. Fournet
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)  
In 14th IEEE Computer Security Foundations Workshop (CSFW-14), pages 82-96, Cape Breton, Nova Scotia, Canada, June 2001. IEEE Computer Society. [16] B. Blanchet.  ...  In Proceedings of the 15th IEEE Computer Security Foundations Workshop, pages 320-330, Cape Breton, Nova Scotia, June 2002. [45] F. Pottier and V. Simonet. Information flow inference for ML.  ... 
doi:10.1109/lics.2005.8 dblp:conf/lics/BlanchetAF05 fatcat:i3g2rwcltjanzhpm6h4rihtcnu