Quantifying information flow in cryptographic systems.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 2, p. 457, doi. 10.1017/S0960129513000662
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2015 AND VI 25 AND IP 2
Results: 9
1
2
An analysis of trust in anonymity networks in the presence of adaptive attackers.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 2, p. 429, doi. 10.1017/S0960129513000650
- By:
- Publication type:
- Article
3
Algebraic foundations for quantitative information flow.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 2, p. 404, doi. 10.1017/S0960129513000649
- By:
- Publication type:
- Article
4
Quantifying opacity.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 2, p. 361, doi. 10.1017/S0960129513000637
- By:
- Publication type:
- Article
5
Hidden-Markov program algebra with iteration.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 2, p. 320, doi. 10.1017/S0960129513000625
- By:
- Publication type:
- Article
6
A semiring-based trace semantics for processes with applications to information leakage analysis.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 2, p. 259, doi. 10.1017/S0960129513000601
- By:
- Publication type:
- Article
7
Quantification of integrity.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 2, p. 207, doi. 10.1017/S0960129513000595
- By:
- Publication type:
- Article
8
Preface to the special issue on quantitative information flow.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 2, p. 203, doi. 10.1017/S0960129513000583
- By:
- Publication type:
- Article
9
Asymptotic information leakage under one-try attacks.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 2, p. 292, doi. 10.1017/S0960129513000613
- By:
- Publication type:
- Article