Author:
Biondi Fabrizio,Legay Axel,Malacaria Pasquale,Wąsowski Andrzej
Subject
General Computer Science,Theoretical Computer Science
Reference40 articles.
1. A static analysis for quantifying information flow in a simple imperative language;Clark;J. Comput. Secur.,2007
2. Quantifying information leaks in software;Heusser,2010
3. Anonymity protocols as noisy channels;Chatzikokolakis;Inform. Comput.,2008
4. Quantifying maximal loss of anonymity in protocols;Chen,2009
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Automated Quantitative Information Flow Analysis for Concurrent Programs;Quantitative Evaluation of Systems;2022
2. Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints;IEEE Transactions on Automatic Control;2020-04
3. Information leakage of multi-threaded programs;Computers & Electrical Engineering;2019-09
4. Hybrid statistical estimation of mutual information and its application to information flow;Formal Aspects of Computing;2019-04
5. Universal Optimality of Apollonian Cell Encoders;2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE);2018-08