Author:
Arapinis Myrto,Cheval Vincent,Delaune Stéphanie
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. PKI for machine readable travel documents offering ICC read-only access. Technical report, International Civil Aviation Organization (2004)
2. 3GPP. Technical specification group services and system aspects; 3G security; security architecture (release 9). Technical report, 3rd Generation Partnership Project (2010)
3. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proc. 28th Symposium on Principles of Programming Languages, POPL 2001 (2001)
4. Arapinis, M., Cheval, V., Delaune, S.: Verifying privacy-type properties in a modular way. In: Proc. 25th IEEE Computer Security Foundations Symposium, CSF 2012 (2012)
5. Arapinis, M., Mancini, L.I., Ritter, E., Ryan, M., Golde, N., Redon, K., Borgaonkar, R.: New privacy issues in mobile telephony: fix and verification. In: ACM Conference on Computer and Communications Security (2012)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents;Proceedings of the 19th International Conference on Availability, Reliability and Security;2024-07-30
2. Typing Messages for Free in Security Protocols;ACM Transactions on Computational Logic;2020-01-10
3. Composition Theorems for CryptoVerif and Application to TLS 1.3;2018 IEEE 31st Computer Security Foundations Symposium (CSF);2018-07
4. Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System;Information and Communications Security;2018
5. Stateful Protocol Composition;Computer Security;2018