Author:
Askarov Aslan,Hunt Sebastian,Sabelfeld Andrei,Sands David
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;A. Askarov,2006
2. Askarov, A., Hunt, S., Sabelfeld, A., Sands, D.: Termination-insensitive noninterference leaks more than just a bit. Technical report, Chalmers University of Technology (July 2008),
http://www.cs.chalmers.se/~aaskarov/esorics08full.pdf
3. Askarov, A., Sabelfeld, A.: Gradual release: Unifying declassification, encryption and key release policies. In: Proc. IEEE Symp. on Security and Privacy, May 2007, pp. 207–221 (2007)
4. Askarov, A., Sabelfeld, A.: Tight enforcement of flexible information-release policies for dynamic languages. Draft (July 2008)
5. Barnes, J., Barnes, J.G.: High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cocoon: Static Information Flow Control in Rust;Proceedings of the ACM on Programming Languages;2024-04-29
2. Dynamic Policies Revisited;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06
3. Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling;Information Systems Security;2022
4. SecWasm: Information Flow Control for WebAssembly;Static Analysis;2022
5. Friendly Fire;ACM Transactions on Privacy and Security;2021-08-31