M\'ario S. Alvim
Identifiers
- name variant M\'ario S. Alvim 0.60 · backfill
Papers (8)
- A Comparative Study on Unsupervised Domain Adaptation Approaches for Coffee Crop Mapping cs.CV · 2018 · author #2
- Metric-based local differential privacy for statistical applications cs.CR · 2018 · author #1
- A Game-Theoretic Approach to Information-Flow Control via Protocol Composition cs.CR · 2018 · author #1
- An Algebraic Approach for Reasoning About Information Flow cs.CR · 2018 · author #2
- Quantifying vulnerability of secret generation using hyper-distributions (extended version) cs.CR · 2017 · author #1
- Computational Aspects of the Calculus of Structure cs.LO · 2013 · author #1
- Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications cs.CR · 2011 · author #1
- Differential Privacy: on the trade-off between Utility and Information Leakage cs.CR · 2011 · author #1
Mentions
Frequent Coauthors
- Catuscia Palamidessi 3 shared papers
- Konstantinos Chatzikokolakis 3 shared papers
- Annabelle McIver 1 shared papers
- Anna Pazii 1 shared papers
- Arthur Am\'erico 1 shared papers
- Edemir Ferreira 1 shared papers
- Jefersson A. dos Santos 1 shared papers
- Michael Hicks 1 shared papers
- Miguel E. Andr\'es 1 shared papers
- Pierpaolo Degano 1 shared papers
- Piotr Mardziel 1 shared papers
- Yusuke Kawamoto 1 shared papers