Search results
From MaRDI portal
- Markov Models: A Monadic Account of Quantitative Information Flow 2018-04-23 Paper Algebra for Quantitative Information Flow 2017-07-21 Paper Probabilistic...10 bytes (17 words) - 04:31, 12 December 2023
- Account of Quantitative Information Flow 2018-04-23 Paper A demonic lattice of information 2018-03-26 Paper Algebra for Quantitative Information Flow 2017-07-21...10 bytes (18 words) - 15:39, 6 December 2023
- Account of Quantitative Information Flow 2018-04-23 Paper Algebra for Quantitative Information Flow 2017-07-21 Paper Results on the quantitative μ-calculus...10 bytes (17 words) - 15:42, 6 December 2023
- de/entity/Q4608688 2018-03-21 Paper Information leakage games 2017-10-27 Paper On the Compositionality of Quantitative Information Flow 2017-10-12 Paper Compositional...10 bytes (16 words) - 11:15, 24 September 2023
- of Publication Type Asymptotic information leakage under one-try attacks 2016-07-27 Paper Quantitative information flow under generic leakage functions...10 bytes (16 words) - 12:46, 7 October 2023
- between Differential Privacy and Quantitative Information Flow 2011-07-07 Paper Entropy and Attack Models in Information Flow 2010-10-27 Paper Safe Equivalences...10 bytes (18 words) - 00:41, 25 September 2023
- Programs 2010-09-29 Paper Information Theory and Security: Quantitative Information Flow 2010-07-06 Paper Quantitative Information Flow, Relations and Polymorphic...10 bytes (16 words) - 02:15, 25 September 2023
- Privacy and Quantitative Information Flow 2011-07-07 Paper Entropy and Attack Models in Information Flow 2010-10-27 Paper Safe Equivalences for Security Properties...10 bytes (19 words) - 20:29, 24 September 2023
- Publication Date of Publication Type Information Theory and Security: Quantitative Information Flow 2010-07-06 Paper...10 bytes (16 words) - 19:45, 26 December 2023
- Publication Date of Publication Type Scalable Approximation of Quantitative Information Flow in Programs 2020-07-07 Paper...10 bytes (18 words) - 03:32, 7 October 2023
- de/entity/Q3224080 2012-03-29 Paper Quantitative Information Flow and Applications to Differential Privacy 2011-09-16 Paper Information hiding in probabilistic concurrent...10 bytes (17 words) - 04:31, 12 December 2023
- automated quantitative information flow analysis for concurrent programs 2023-06-02 Paper Dirac-based reduction techniques for quantitative analysis of...10 bytes (16 words) - 22:46, 24 September 2023
- Publication Date of Publication Type Scalable Approximation of Quantitative Information Flow in Programs 2020-07-07 Paper A framework for automated distributed...10 bytes (16 words) - 21:26, 24 September 2023
- Publication Date of Publication Type An automated quantitative information flow analysis for concurrent programs 2023-06-02 Paper Correct audit logging...10 bytes (18 words) - 02:05, 25 September 2023
- behavioural types 2012-05-24 Paper Quantitative Information Flow, with a View 2011-11-22 Paper Asymptotic Information Leakage under One-Try Attacks 2011-05-19...10 bytes (17 words) - 18:03, 9 December 2023
- Classification using Signal Temporal Logic 2017-05-19 Paper Quantitative information flow as safety and liveness hyperproperties 2014-06-06 Paper Polymorphic...10 bytes (16 words) - 10:44, 7 October 2023
- Randomization Mechanisms 2012-09-21 Paper Quantitative Information Flow, with a View 2011-11-22 Paper Asymptotic Information Leakage under One-Try Attacks 2011-05-19...10 bytes (16 words) - 08:52, 6 October 2023
- verification of multi-threaded programs 2014-11-11 Paper Precise quantitative information flow analysis -- a symbolic approach 2014-06-06 Paper Verification...10 bytes (16 words) - 07:11, 7 October 2023
- estimation of mutual information for quantifying information flow 2020-01-03 Paper Hybrid statistical estimation of mutual information and its application...10 bytes (16 words) - 10:43, 7 October 2023
- Hybrid statistical estimation of mutual information and its application to information flow 2019-05-10 Paper Information leakage games 2017-10-27 Paper On the...10 bytes (18 words) - 20:29, 24 September 2023