Author:
Rafnsson Willard,Garg Deepak,Sabelfeld Andrei
Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Information Flow Security Certification for SPARK Programs;Data and Applications Security and Privacy XXXIV;2020
2. Prudent Design Principles for Information Flow Control;Proceedings of the 13th Workshop on Programming Languages and Analysis for Security;2018-01-15
3. Flexible Manipulation of Labeled Values for Information-Flow Control Libraries;Computer Security – ESORICS 2016;2016
4. Progress-Sensitive Security for SPARK;Lecture Notes in Computer Science;2016