List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Scalable approximation of quantitative information flow in programs Lecture Notes in Computer Science | 2020-07-07 | Paper |
| Attainable unconditional security for shared-key cryptosystems Information Sciences | 2020-01-06 | Paper |
| Hybrid statistical estimation of mutual information for quantifying information flow | 2020-01-03 | Paper |
| Hybrid statistical estimation of mutual information and its application to information flow Formal Aspects of Computing | 2019-05-10 | Paper |
| Information leakage of non-terminating processes | 2017-04-25 | Paper |
| Quantifying information leakage of randomized protocols Theoretical Computer Science | 2015-08-17 | Paper |
| Quantifying information leakage of randomized protocols Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Maximizing entropy over Markov processes Journal of Logical and Algebraic Methods in Programming | 2014-10-23 | Paper |
| Maximizing entropy over Markov processes Language and Automata Theory and Applications | 2013-03-18 | Paper |
Research outcomes over time
This page was built for person: Fabrizio Biondi