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
207*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
1022011
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
652014
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
572011
Quantifying information flow for dynamic secrets
P Mardziel, MS Alvim, M Hicks, MR Clarkson
2014 IEEE Symposium on Security and Privacy, 540-555, 2014
412014
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
332016
Quantitative information flow in interactive systems
MS Alvim, ME Andrés, C Palamidessi
Journal of Computer Security 20 (1), 3-50, 2012
292012
Information flow in interactive systems
MS Alvim, ME Andrés, C Palamidessi
International Conference on Concurrency Theory, 102-116, 2010
252010
Probabilistic information flow
MS Alvim, ME Andrés, C Palamidessi
2010 25th Annual IEEE Symposium on Logic in Computer Science, 314-321, 2010
242010
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
212011
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
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
162014
Differential privacy versus quantitative information flow
MS Alvim, K Chatzikokolakis, P Degano, C Palamidessi
arXiv preprint arXiv:1012.4250, 2010
162010
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
152015
Metric-based local differential privacy for statistical applications
MS Alvim, K Chatzikokolakis, C Palamidessi, A Pazii
arXiv preprint arXiv:1805.01456, 2018
112018
Information leakage games
MS Alvim, K Chatzikokolakis, Y Kawamoto, C Palamidessi
International Conference on Decision and Game Theory for Security, 437-457, 2017
112017
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
102010
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
72018
Compression-based selective sampling for learning to rank
RM Silva, GCM Gomes, MS Alvim, MA Gonçalves
Proceedings of the 25th ACM International on Conference on Information and …, 2016
72016
The Science of Quantitative Information Flow
MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ...
Springer International Publishing, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20