61 citations · 89 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 28 cited
Really Natural Linear Indexed Type Checking
Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi +1
Recent works have shown the power of linear indexed type systems for enforcing complex program properties. These systems combine linear types with a language of type-level indices,…
cs.LO2014★ 61 cited
Proving differential privacy in Hoare logic
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias +3
Differential privacy is a rigorous, worst-case notion of privacy-preserving computation. Informally, a probabilistic program is differentially private if the participation of a sin…