Extended Static Checking of Call-by-Value Functional Programs (2007)

Cached

Download Links

by Francois Pottier , Yann Regis-Gianas
Citations:2 - 0 self

Documents Related by Co-Citation

792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
1360 Random Oracles are Practical: A Paradigm for Designing Efficient Protocols – Mihir Bellare, Phillip Rogaway - 1995
756 publications by the team in recent years – Major
721 Types and programming languages – Benjamin C Pierce - 2002
450 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
84 Engineering formal metatheory – Brian Aydemir, Randy Pollack - 2008
361 Prudent Engineering Practice for Cryptographic Protocols – Martin Abadi, Roger Needhamt - 1994
357 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
254 An Efficient Cryptographic Protocol Verifier Based on Prolog Rules – Bruno Blanchet - 2001
247 Secrecy by Typing in Security Protocols – Martín Abadi - 1998