A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Automated verification of selected equivalences for security protocols
2008
The Journal of Logic and Algebraic Programming
Preserved Fulltext
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
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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