Author:
Askarov Aslan,Hedin Daniel,Sabelfeld Andrei
Subject
General Computer Science,Theoretical Computer Science
Reference38 articles.
1. Secrecy by typing in security protocols;Abadi;J. ACM,1999
2. Cryptographically-masked flows;Askarov,2006
3. Security-typed languages for implementation of cryptographic protocols: A case study;Askarov,2005
4. A. Askarov, A. Sabelfeld, Gradual release: Unifying declassification, encryption and key release policies, in: Proc. IEEE Symp. on Security and Privacy, May 2007, pp. 207–221
5. Relations among notions of security for public-key encryption schemes;Bellare,1998
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. HasTEE: Programming Trusted Execution Environments with Haskell;Proceedings of the 16th ACM SIGPLAN International Haskell Symposium;2023-08-30
2. Owl: Compositional Verification of Security Protocols via an Information-Flow Type System;2023 IEEE Symposium on Security and Privacy (SP);2023-05
3. OWL: Compositional Verification of Security Protocols via an Information-Flow Type System;P IEEE S SECUR PRIV;2023
4. RIF: Reactive information flow labels;Journal of Computer Security;2020-03-17
5. Language support for multiple privacy enhancing technologies;Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming;2019-04