Mário S. Alvim
Mário S. Alvim
Assistant Professor, Computer Science Department, UFMG
Verified email at dcc.ufmg.br - Homepage
Title
Cited by
Cited by
Year
Measuring information leakage using generalized gain functions
M Alvim, K Chatzikokolakis, C Palamidessi, G Smith
Computer Security Foundations Symposium (CSF), 2012 IEEE 25th, 265-279, 2012
235*2012
Differential privacy: on the trade-off between utility and information leakage
MS Alvim, ME Andrés, K Chatzikokolakis, P Degano, C Palamidessi
International Workshop on Formal Aspects in Security and Trust, 39-54, 2011
1172011
Additive and multiplicative notions of leakage, and their capacities
MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ...
2014 IEEE 27th Computer Security Foundations Symposium, 308-322, 2014
772014
On the relation between differential privacy and quantitative information flow
MS Alvim, ME Andrés, K Chatzikokolakis, C Palamidessi
International Colloquium on Automata, Languages, and Programming, 60-76, 2011
682011
Quantifying information flow for dynamic secrets
P Mardziel, MS Alvim, M Hicks, MR Clarkson
2014 IEEE Symposium on Security and Privacy, 540-555, 2014
472014
Axioms for information leakage
MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ...
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 77-92, 2016
462016
Quantitative information flow in interactive systems
MS Alvim, ME Andrés, C Palamidessi
Journal of Computer Security 20 (1), 3-50, 2012
332012
Information flow in interactive systems
MS Alvim, ME Andrés, C Palamidessi
International Conference on Concurrency Theory, 102-116, 2010
272010
Probabilistic information flow
MS Alvim, ME Andrés, C Palamidessi
2010 25th Annual IEEE Symposium on Logic in Computer Science, 314-321, 2010
262010
Local differential privacy on metric spaces: optimizing the trade-off with utility
M Alvim, K Chatzikokolakis, C Palamidessi, A Pazii
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 262-267, 2018
222018
On the information leakage of differentially-private mechanisms
MS Alvim, ME Andrés, K Chatzikokolakis, P Degano, C Palamidessi
Journal of Computer Security 23 (4), 427-469, 2015
212015
Information leakage games
MS Alvim, K Chatzikokolakis, Y Kawamoto, C Palamidessi
International Conference on Decision and Game Theory for Security, 437-457, 2017
202017
Quantitative information flow and applications to differential privacy
MS Alvim, ME Andrés, K Chatzikokolakis, C Palamidessi
International School on Foundations of Security Analysis and Design, 211-230, 2011
202011
Differential privacy versus quantitative information flow
MS Alvim, K Chatzikokolakis, P Degano, C Palamidessi
arXiv preprint arXiv:1012.4250, 2010
192010
When not all bits are equal: Worth-based information flow
MS Alvim, A Scedrov, FB Schneider
International Conference on Principles of Security and Trust, 120-139, 2014
182014
Deciphering predictability limits in human mobility
DDC Teixeira, AC Viana, MS Alvim, JM Almeida
Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances …, 2019
162019
Metric-based local differential privacy for statistical applications
MS Alvim, K Chatzikokolakis, C Palamidessi, A Pazii
arXiv preprint arXiv:1805.01456, 2018
132018
The Science of Quantitative Information Flow
MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ...
Springer International Publishing, 2020
122020
Safe equivalences for security properties
MS Alvim, ME Andrés, C Palamidessi, P Van Rossum
IFIP International Conference on Theoretical Computer Science, 55-70, 2010
122010
Information-driven rapidly-exploring random tree for efficient environment exploration
JM Pimentel, MS Alvim, MFM Campos, DG Macharet
Journal of Intelligent & Robotic Systems 91 (2), 313-331, 2018
112018
The system can't perform the operation now. Try again later.
Articles 1–20