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
228*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
1142011
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
742014
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
652011
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
412016
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
262010
Probabilistic information flow
MS Alvim, ME Andrés, C Palamidessi
2010 25th Annual IEEE Symposium on Logic in Computer Science, 314-321, 2010
262010
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
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
182015
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
Differential privacy versus quantitative information flow
MS Alvim, K Chatzikokolakis, P Degano, C Palamidessi
arXiv preprint arXiv:1012.4250, 2010
172010
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
162018
Information leakage games
MS Alvim, K Chatzikokolakis, Y Kawamoto, C Palamidessi
International Conference on Decision and Game Theory for Security, 437-457, 2017
162017
Metric-based local differential privacy for statistical applications
MS Alvim, K Chatzikokolakis, C Palamidessi, A Pazii
arXiv preprint arXiv:1805.01456, 2018
122018
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
Deciphering predictability limits in human mobility
DC Teixeira, AC Viana, MS Alvim, JM Almeida
Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances …, 2019
102019
The Science of Quantitative Information Flow
MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ...
Springer, 2020
82020
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
82018
The system can't perform the operation now. Try again later.
Articles 1–20