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
299*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
1952012
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
1022014
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
762011
The Science of Quantitative Information Flow
MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ...
Springer International Publishing, 2020
702020
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
602018
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
562016
Quantifying information flow for dynamic secrets
P Mardziel, MS Alvim, M Hicks, MR Clarkson
2014 IEEE Symposium on Security and Privacy, 540-555, 2014
522014
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
412018
Quantitative information flow in interactive systems
MS Alvim, ME Andrés, C Palamidessi
Journal of Computer Security 20 (1), 3-50, 2012
372012
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
362015
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
272019
Information leakage games
MS Alvim, K Chatzikokolakis, Y Kawamoto, C Palamidessi
Decision and Game Theory for Security: 8th International Conference, GameSec …, 2017
272017
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
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
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
222020
Metric-based local differential privacy for statistical applications
MS Alvim, K Chatzikokolakis, C Palamidessi, A Pazii
arXiv preprint arXiv:1805.01456, 2018
222018
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
222014
The system can't perform the operation now. Try again later.
Articles 1–20