Comparing systems: max-case refinement orders and application to differential privacy

Konstantinos Chatzikokolakis 1, 2 Natasha Fernandes 1, 3 Catuscia Palamidessi 1
1 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 UOA - University of Athens [Greece]
3 Faculty of Science, Macquarie University
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-02126848
Contributor : Catuscia Palamidessi <>
Submitted on : Wednesday, May 15, 2019 - 6:53:01 PM
Last modification on : Tuesday, January 21, 2020 - 4:50:30 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

INRIA | X | CNRS | LIX | X-LIX | X-DEP-INFO | UNIV-PARIS-SACLAY

Citation

Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi. Comparing systems: max-case refinement orders and application to differential privacy. CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.442--457, ⟨10.1109/CSF.2019.00037⟩. ⟨hal-02126848⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

192

Files downloads

167

 

 

Contact

archive-ouverte@inria.fr