Author:
Backes Michael,Hriţcu Cătălin,Maffei Matteo
Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. Abadi, M., Blanchet, B.: Secrecy types for asymmetric communication. Theoretical Computer Science 3(298), 387–415 (2003)
2. Abadi, M., Blanchet, B.: Analyzing security protocols with secrecy types and logic programs. Journal of the ACM 52(1), 102–146 (2005)
3. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proc. 28th Symposium on Principles of Programming Languages (POPL), pp. 104–115. ACM Press, New York (2001)
4. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation 148(1), 1–70 (1999)
5. Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems (TOPLAS) 15(4), 575–631 (1993)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Droids in Disarray: Detecting Frame Confusion in Hybrid Android Apps;Data and Applications Security and Privacy XXXIII;2019
2. On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types;ACM Transactions on Programming Languages and Systems;2017-03-23
3. Affine Refinement Types for Secure Distributed Programming;ACM Transactions on Programming Languages and Systems;2015-08-13
4. Symbolic Malleable Zero-Knowledge Proofs;2015 IEEE 28th Computer Security Foundations Symposium;2015-07
5. Type-Based Verification of Electronic Voting Protocols;Lecture Notes in Computer Science;2015