Author:
Rafnsson Willard,Nakata Keiko,Sabelfeld Andrei
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Securing Concurrent Lazy Programs Against Information Leakage;2017 IEEE 30th Computer Security Foundations Symposium (CSF);2017-08
2. An Automatic Inference of Minimal Security Types;Information Systems Security;2015
3. Lazy Programs Leak Secrets;Secure IT Systems;2013