16 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.LO2013
Computational Aspects of the Calculus of Structure
Mário S. Alvim
Logic is the science of correct inferences and a logical system is a tool to prove assertions in a certain logic in a correct way. There are many logical systems, and many ways of…
cs.IT2010★ 16 cited
Differential Privacy versus Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano +1
Differential privacy is a notion of privacy that has become very popular in the database community. Roughly, the idea is that a randomized query mechanism provides sufficient priva…