[ACM Press the Twentieth International Conference - Istanbul, Turkey (2015.03.14-2015.03.18)] Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '15 - Asynchronized Concurrency
- 作者David, Tudor; Guerraoui, Rachid; Trigonakis, Vasileios
- 文件大小808.94KB
- 发表时间2015
- DOI10.1145/2694344.2694359
- 页码631-644
Secrecy types for asymmetric communicationMartı́n Abadi; Bruno Blanchet · 2003
Escape analysis for Java <sup>TM</sup>Blanchet, Bruno · ACM Transactions on Programming Languages and Systems · 2003
The Applied Pi CalculusAbadi, Martín; Blanchet, Bruno; Fournet, Cédric · Journal of the ACM · 2017
Escape analysis for object-oriented languagesBlanchet, Bruno · ACM SIGPLAN Notices · 1999
Verification of cryptographic protocols: tagging enforces terminationBruno Blanchet; Andreas Podelski · 2005
Automated verification of selected equivalences for security protocolsBruno Blanchet; Martín Abadi; Cédric Fournet · 2008
Just fast keying in the pi calculusAbadi, Martín; Blanchet, Bruno; Fournet, Cédric · ACM Transactions on Information and System Security · 2007
Security protocols: from linear to classical logic by abstract interpretationBruno Blanchet · 2005