Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study-Reference-Cited by-同舟云学术

Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study

Published:2005 Issue: Volume: Page:197-221
ISSN:0302-9743
Container-title:Computer Security – ESORICS 2005
language:
Short-container-title:

Author:

Askarov Aslan,Sabelfeld Andrei

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11555827_12

Reference51 articles.

1. CERT® advisory CA-2003-26: Multiple vulnerabilities in SSL/TLS implementations (October 2003), http://www.cert.org/advisories/CA-2003-26.html

2. Jif source code for the mental poker protocol (March 2005), http://www.cs.chalmers.se/~aaskarov/jifpoker

3. Agat, J.: Transforming out timing leaks. In: Proc. ACM Symp. on Principles of Programming Languages, pp. 40–53 (January 2000)

4. Anderson, R.: Why cryptosystems fail. In: ACM Conference on Computer and Communications Security, pp. 215–227 (November 1993)

5. Banerjee, A., Naumann, D.A.: Secure information flow and pointer confinement in a Java-like language. In: Proc. IEEE Computer Security Foundations Workshop, pp. 253–267 (June 2002)

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A case study in language-based security: building an I/O library for Wyvern;Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2020-11-17

2. Combining Symbolic and Numerical Domains for Information Leakage Analysis;Transactions on Computational Science XXXI;2018

3. Paragon – Practical programming with information flow control;Journal of Computer Security;2017-07-10

4. Dynamic Enforcement of Dynamic Policies;Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security;2015-07-04

5. You Sank My Battleship!;Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security;2014-07-28