Mário S. Alvim
Mário S. Alvim
Assistant Professor, Computer Science Department, UFMG
E-mail confirmado em dcc.ufmg.br - Página inicial
Título
Citado por
Citado por
Ano
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
197*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
952011
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
622014
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
402014
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
262012
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
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
132015
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
122018
Information leakage games
MS Alvim, K Chatzikokolakis, Y Kawamoto, C Palamidessi
International Conference on Decision and Game Theory for Security, 437-457, 2017
112017
Metric-based local differential privacy for statistical applications
MS Alvim, K Chatzikokolakis, C Palamidessi, A Pazii
arXiv preprint arXiv:1805.01456, 2018
92018
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
92010
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
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
52018
A game-theoretic approach to information-flow control via protocol composition
MS Alvim, K Chatzikokolakis, Y Kawamoto, C Palamidessi
Entropy 20 (5), 382, 2018
52018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20