33972 articles – 26770 Notices  [english version]
.:. Consultation > Par auteur > Alvim .:.
12 documents classés par :
1 - 2 Page Suivante Page Finale
On the information leakage of differentially-private mechanisms
Alvim M. S., Andrés M. E., Chatzikokolakis K., Degano P., Palamidessi C.
Journal of Computer Security (2014) to appear [hal-00940425 - version 1]
fulltext access 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]
fulltext access Des approches formelles pour le cachement d'information: Une analyse des systèmes interactifs, contrôle de divulgation statistique, et le raffinement des spécifications
Alvim M. S.
Ecole Polytechnique X (12/10/2011), Catuscia Palamidessi (Dir.) [tel-00639948 - version 3]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access Differential Privacy versus Quantitative Information Flow
Alvim M. S., Chatzikokolakis K., Degano P., Palamidessi C.
[hal-00548214 - 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]
fulltext access 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]