Miguel E. Andrés

	2012
17		Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi: Quantitative information flow in interactive systems. Journal of Computer Security 20(1): 3-50 (2012)
	2011
16		Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi: Quantitative Information Flow and Applications to Differential Privacy. FOSAD 2011: 211-230
15		Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi: On the Relation between Differential Privacy and Quantitative Information Flow. ICALP (2) 2011: 60-76
14		Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi: Differential Privacy: on the trade-off between Utility and Information Leakage CoRR abs/1103.5188: (2011)
13		Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi: On the relation between Differential Privacy and Quantitative Information Flow CoRR abs/1109.6761: (2011)
12		Miguel E. Andrés: Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems CoRR abs/1111.2760: (2011)
11		Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova: Information hiding in probabilistic concurrent systems. Theor. Comput. Sci. 412(28): 3072-3089 (2011)
	2010
10		Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés: Interactive Information Flow - (Invited Talk). ARSPA-WITS 2010: 111
9		Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi: Information Flow in Interactive Systems. CONCUR 2010: 102-116
8		Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi: Entropy and Attack Models in Information Flow - (Invited Talk). IFIP TCS 2010: 53-54
7		Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum: Safe Equivalences for Security Properties. IFIP TCS 2010: 55-70
6		Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi: Probabilistic Information Flow. LICS 2010: 314-321
5		Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova: Information Hiding in Probabilistic Concurrent Systems. QEST 2010: 17-26
4		Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith: Computing the Leakage of Information-Hiding Systems. TACAS 2010: 373-389
	2008
3		Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference 2008: 129-148
2		Miguel E. Andrés, Peter van Rossum: Conditional Probabilities over Probabilistic and Nondeterministic Systems. TACAS 2008: 157-172
1		Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking CoRR abs/0806.1139: (2008)

Coauthor Index

1	Mário S. Alvim	[6] [7] [8] [9] [10] [13] [14] [15] [16] [17]
2	Konstantinos Chatzikokolakis	[13] [14] [15] [16]
3	Pedro R. D'Argenio	[1] [3]
4	Pierpaolo Degano	[14]
5	Catuscia Palamidessi	[4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17]
6	Peter van Rossum	[1] [2] [3] [4] [5] [7] [11]
7	Geoffrey Smith	[4]
8	Ana Sokolova	[5] [11]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page