Accueil
Consultation
Par auteur
Par publications
Par années
Par domaines
Par type de document
Derniers dépôts
Recherche
Rechercher
Recherche avancée
Recherche par identifiant
Services
Aide
Exporter
HalTools
28532 articles – 22057 Notices
[english version]
.:.
Consultation
>
Par auteur
> Andrés .:.
14 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
1
-
2
Geo-Indistinguishability: Differential Privacy for Location-Based Systems
Andrés M. E., Bordenabe N. E., Chatzikokolakis K., Palamidessi C.
(2012) [hal-00766821 - version 1]
Quantitative Information Flow in Interactive Systems
Alvim M. S., Andrés M. E., Palamidessi C.
Journal of Computer Security
20, 1 (2012) 3-50 [inria-00637356 - version 1]
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems
Andrés M.
Radboud University, Nijmegen (01/07/2011), Peter van Rossum and Catuscia Palamidessi (Dir.) [tel-00655506 - version 1]
Differential Privacy: on the trade-off between Utility and Information Leakage
Alvim M. S., Andrés M. E., Chatzikokolakis K., Degano P., Palamidessi C.
Dans The 8th International Workshop on Formal Aspects of Security & Trust (FAST) (2011) [inria-00580122 - version 5]
Quantitative Information Flow and Applications to Differential Privacy
Alvim M., Andrés M. E., Chatzikokolakis K., Palamidessi C.
Dans
Foundations of Security Analysis and Design VI -- FOSAD Tutorial Lectures
, Springer (Ed.) (2011) 211--230 [hal-00655522 - version 1]
On the relation between Differential Privacy and Quantitative Information Flow
Alvim M. S., Andrés M. E., Chatzikokolakis K., Palamidessi C.
Dans 38th International Colloquium on Automata, Languages and Programming - ICALP 2011 6756 (2011) 60-76 [inria-00627937 - version 1]
Information Hiding in Probabilistic Concurrent Systems (journal version)
Andrés M. E., Palamidessi C., Sokolova A., Van Rossum P.
Journal of Theoretical Computer Science (TCS)
412, 28 (2011) 3072-3089 [hal-00573447 - version 1]
Interactive Information Flow
Palamidessi C., Alvim M. S., Andrés M. E.
Dans Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010) 6186 (2010) 111-111 [hal-00548211 - version 1]
Information Flow in Interactive Systems
Alvim M. S., Andrés M. E., Palamidessi C.
Dans 21th International Conference on Concurrency Theory (CONCUR 2010) 6269 (2010) 102-116 [inria-00479672 - version 3]
Entropy and Attack Models in Information Flow
Alvim M. S., Andrés M. E., Palamidessi C.
Dans 6th IFIP International Conference on Theoretical Computer Science (TCS 2010) 323 (2010) 53-54 [hal-00548212 - version 1]