Follow
Mário S. Alvim
Mário S. Alvim
Assistant Professor, Department of Computer Science, 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
279*2012
Differential privacy: on the trade-off between utility and information leakage
MS Alvim, ME Andrés, K Chatzikokolakis, P Degano, C Palamidessi
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011 …, 2012
1862012
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
932014
On the relation between differential privacy and quantitative information flow
MS Alvim, ME Andrés, K Chatzikokolakis, C Palamidessi
Automata, Languages and Programming: 38th International Colloquium, ICALP …, 2011
752011
The Science of Quantitative Information Flow
MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ...
Springer International Publishing, 2020
572020
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
542016
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
502018
Quantifying information flow for dynamic secrets
P Mardziel, MS Alvim, M Hicks, MR Clarkson
2014 IEEE Symposium on Security and Privacy, 540-555, 2014
502014
Quantitative information flow in interactive systems
MS Alvim, ME Andrés, C Palamidessi
Journal of Computer Security 20 (1), 3-50, 2012
372012
Information-driven rapidly-exploring random tree for efficient environment exploration
JM Pimentel, MS Alvim, MFM Campos, DG Macharet
Journal of Intelligent & Robotic Systems 91, 313-331, 2018
342018
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
342015
Probabilistic information flow
MS Alvim, ME Andrés, C Palamidessi
2010 25th Annual IEEE Symposium on Logic in Computer Science, 314-321, 2010
272010
Information flow in interactive systems
MS Alvim, ME Andrés, C Palamidessi
International Conference on Concurrency Theory, 102-116, 2010
262010
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
252019
Information leakage games
MS Alvim, K Chatzikokolakis, Y Kawamoto, C Palamidessi
Decision and Game Theory for Security: 8th International Conference, GameSec …, 2017
252017
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
242011
Differential privacy versus quantitative information flow
MS Alvim, K Chatzikokolakis, P Degano, C Palamidessi
arXiv preprint arXiv:1012.4250, 2010
232010
Metric-based local differential privacy for statistical applications
MS Alvim, K Chatzikokolakis, C Palamidessi, A Pazii
arXiv preprint arXiv:1805.01456, 2018
202018
When not all bits are equal: Worth-based information flow
MS Alvim, A Scedrov, FB Schneider
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
202014
Exploiting semantic relationships for unsupervised expansion of sentiment lexicons
F Viegas, MS Alvim, S Canuto, T Rosa, MA Gonçalves, L Rocha
Information Systems 94, 101606, 2020
182020
The system can't perform the operation now. Try again later.
Articles 1–20