The Science of Quantitative Information Flow - Information Security and Cryptography
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 23)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783319961293, 9783319961316
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On $$ \mathit {g} $$ -vulnerability

2020 ◽  
pp. 25-46
Author(s):  
Mário S. Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Annabelle McIver ◽  
Carroll Morgan ◽  
Catuscia Palamidessi ◽  
...  

Timing attacks on blinded and bucketed cryptography

2020 ◽  
pp. 369-388
Author(s):  
Mário S. Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Annabelle McIver ◽  
Carroll Morgan ◽  
Catuscia Palamidessi ◽  
...  
Keyword(s):  
Timing Attacks

Iteration and nontermination

2020 ◽  
pp. 307-323
Author(s):  
Mário S. Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Annabelle McIver ◽  
Carroll Morgan ◽  
Catuscia Palamidessi ◽  
...  

Refinement

2020 ◽  
pp. 147-170
Author(s):  
Mário S. Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Annabelle McIver ◽  
Carroll Morgan ◽  
Catuscia Palamidessi ◽  
...  

Posterior vulnerability and leakage

2020 ◽  
pp. 71-100
Author(s):  
Mário S. Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Annabelle McIver ◽  
Carroll Morgan ◽  
Catuscia Palamidessi ◽  
...  

Quantitative information flow in sequential computer programs

2020 ◽  
pp. 225-253
Author(s):  
Mário S. Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Annabelle McIver ◽  
Carroll Morgan ◽  
Catuscia Palamidessi ◽  
...  
Keyword(s):  
Information Flow ◽  
Computer Programs ◽  
Quantitative Information ◽  
Quantitative Information Flow

Robustness

2020 ◽  
pp. 101-105
Author(s):  
Mário S. Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Annabelle McIver ◽  
Carroll Morgan ◽  
Catuscia Palamidessi ◽  
...  

Channels

2020 ◽  
pp. 49-70
Author(s):  
Mário S. Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Annabelle McIver ◽  
Carroll Morgan ◽  
Catuscia Palamidessi ◽  
...  

Voting systems

2020 ◽  
pp. 413-431
Author(s):  
Mário S. Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Annabelle McIver ◽  
Carroll Morgan ◽  
Catuscia Palamidessi ◽  
...  
Keyword(s):  
Voting Systems

Multi-party computation: The Three Judges protocol

2020 ◽  
pp. 399-411
Author(s):  
Mário S. Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Annabelle McIver ◽  
Carroll Morgan ◽  
Catuscia Palamidessi ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document