@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "alvim"' papers.bib}}
@ARTICLE{alvim:inria-00637356, AUTHOR = {Alvim, S., Mario and Andres, E., Miguel and Palamidessi, Catuscia}, JOURNAL = {{Journal of Computer Security}}, NUMBER = {1}, PAGES = {3-50}, PUBLISHER = {IOS Press}, TITLE = {{Quantitative Information Flow in Interactive Systems}}, URL = {http://hal.inria.fr/inria-00637356}, VOLUME = {20}, X-EDITORIAL-BOARD = {yes}, X-ID-HAL = {inria-00637356}, X-INTERNATIONAL-AUDIENCE = {yes}, YEAR = {2012} }
@INPROCEEDINGS{alvim:hal-00734044, ADDRESS = {Cambridge MA, United States}, AUTHOR = {Alvim, S., Mario and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia and Smith, Geoffrey}, BOOKTITLE = { Proceedings of {Computer Security Foundations (CSF)}}, DOI = {10.1109/CSF.2012.26}, PAGES = {265-279}, PUBLISHER = {IEEE}, TITLE = {{Measuring Information Leakage using Generalized Gain Functions}}, URL = {http://hal.inria.fr/hal-00734044}, X-ID-HAL = {hal-00734044}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, YEAR = {2012} }
@INPROCEEDINGS{alvim:2011:inria-00580122:5, AUTHOR = {Alvim, S., M{\'a}rio and Andres, E., Miguel and Chatzikokolakis, Konstantinos and Degano, Pierpaolo and Palamidessi, Catuscia}, X-PAYS = {IT}, TITLE = {{Differential Privacy: on the trade-off between Utility and Information Leakage}}, BOOKTITLE = {{The 8th International Workshop on Formal Aspects of Security \& Trust (FAST)}}, YEAR = {2011}, MONTH = MAR, SERIES = {Lecture Notes in Computer Science}, EDITOR = {Gilles Barthe and Anupam Datta and Sandro Etalle}, PUBLISHER = {Springer}, ADDRESS = {Leuven, Belgium}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, URL = {http://hal.inria.fr/inria-00580122/en}, X-ID-HAL = {inria-00580122} }
@INPROCEEDINGS{alvim:2011:inria-00627937:1, AUTHOR = {Alvim, S., M{\'a}rio and Andres, E., Miguel and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia}, TITLE = {{On the relation between Differential Privacy and Quantitative Information Flow}}, BOOKTITLE = {{38th International Colloquium on Automata, Languages and Programming - ICALP 2011}}, YEAR = {2011}, SERIES = {Lecture Notes in Computer Science}, EDITOR = {Luca Aceto, Monika Henzinger, Jiri Sgall}, DOI = {10.1007/978-3-642-22012-8\_4}, PUBLISHER = {Springer}, VOLUME = {6756}, PAGES = {60-76}, ADDRESS = {Zurich, Switzerland}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, X-INVITED-CONFERENCE = {yes}, URL = {http://hal.inria.fr/inria-00627937/en}, X-ID-HAL = {inria-00627937} }
@INCOLLECTION{alvim:2011:hal-00655522:1, AUTHOR = {Alvim, M{\'a}rio and Andres, E., Miguel and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia}, TITLE = {{Quantitative Information Flow and Applications to Differential Privacy}}, YEAR = {2011}, BOOKTITLE = {{Foundations of Security Analysis and Design VI -- FOSAD Tutorial Lectures}}, EDITOR = {Alessandro Aldini and Roberto Gorrieri}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, DOI = {10.1007/978-3-642-23082-0\_8}, PAGES = {211--230}, VOLUME = {6858}, X-INTERNATIONAL-AUDIENCE = {yes}, URL = {http://hal.inria.fr/hal-00655522/en}, X-ID-HAL = {hal-00655522} }
@PHDTHESIS{alvim:2011:tel-00639948:2, AUTHOR = {Alvim, S., M{\'a}rio}, TITLE = {{Des approches formelles pour le cachement d'information: Une analyse des syst{\`e}mes interactifs, contr{\^o}le de divulgation statistique, et le raffinement des sp{\'e}cifications}}, YEAR = {2011}, MONTH = OCT, SCHOOL = {Ecole Polytechnique X}, URL = {http://hal.inria.fr/tel-00639948/en}, X-ID-HAL = {tel-00639948} }
@INPROCEEDINGS{PALAMIDESSI:2010:HAL-00548211:1, ADDRESS = {{P}aphos, {C}yprus}, AUTHOR = {Catuscia {P}alamidessi and {M}\'ario S. {A}lvim and Miguel E. Andres}, BOOKTITLE = {{J}oint {W}orkshop on {A}utomated {R}easoning for {S}ecurity {P}rotocol {A}nalysis and {I}ssues in the {T}heory of {S}ecurity ({ARSPA}-{WITS} 2010)}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, DOI = {10.1007/978-3-642-16074-5\_8}, EDITOR = {{A}lessandro {A}rmando and {G}avin {L}owe}, HAL_ID = {hal-00548211}, LANGUAGE = {{E}nglish}, PAGES = {111-111}, PUBLISHER = {{S}pringer}, SERIES = {{L}ecture {N}otes in {C}omputer {S}cience}, TITLE = {{I}nteractive {I}nformation {F}low}, URL = {http://hal.archives-ouvertes.fr/hal-00548211/en/}, VOLUME = {6186}, X-INTERNATIONAL-AUDIENCE = {yes}, X-INVITED-CONFERENCE = {yes}, X-PAYS = {NL}, X-PROCEEDINGS = {yes}, YEAR = {2010}, BDSK-URL-1 = {http://hal.archives-ouvertes.fr/hal-00548211/en/}, BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-642-16074-5_8} }
@INPROCEEDINGS{ALVIM:2010:HAL-00548212:1, ADDRESS = {{B}risbane, {A}ustralia}, AUDIENCE = {international}, AUTHOR = {{M}\'ario S. {A}lvim and Miguel E. Andres and {C}atuscia {P}alamidessi}, BOOKTITLE = {6th {IFIP} {I}nternational {C}onference on {T}heoretical {C}omputer {S}cience ({TCS} 2010)}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, DOI = {10.1007/978-3-642-15240-5\_4}, EDITOR = {{C}ristian {S}. {C}alude and {V}ladimiro {S}assone}, HAL_ID = {hal-00548212}, LANGUAGE = {{E}nglish}, PAGES = {53-54}, PUBLISHER = {{S}pringer}, SERIES = {{IFIP} {A}dvances in {I}nformation and {C}ommunication {T}echnology}, TITLE = {{E}ntropy and {A}ttack {M}odels in {I}nformation {F}low}, URL = {http://hal.archives-ouvertes.fr/hal-00548212/en/}, VOLUME = {323}, X-INTERNATIONAL-AUDIENCE = {yes}, X-INVITED-CONFERENCE = {yes}, X-PAYS = {NL}, X-PROCEEDINGS = {yes}, YEAR = {2010}, BDSK-URL-1 = {http://hal.archives-ouvertes.fr/hal-00548212/en/}, BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-642-15240-5_4} }
@INPROCEEDINGS{alvim:2010:inria-00479672:2, ADDRESS = {Paris, France}, AUTHOR = {Alvim, M{\'a}rio S. and Andres, Miguel E. and Palamidessi, Catuscia}, BOOKTITLE = {21th International Conference on Concurrency Theory (CONCUR 2010)}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, DOI = {10.1007/978-3-642-15375-4{\_}8}, EDITOR = {Paul Gastin and Fran{\c{c}}ois Laroussinie}, PAGES = {102-116}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Information Flow in Interactive Systems}, URL = {http://hal.inria.fr/inria-00479672/en}, VOLUME = {6269}, X-ID-HAL = {inria-00479672}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PAYS = {NL}, X-PROCEEDINGS = {yes}, YEAR = {2010}, BDSK-URL-1 = {http://dx.doi.org/10.1007/978-3-642-15375-4%7B%5C_%7D8} }
@INPROCEEDINGS{alvim:2010:inria-00479674:2, ADDRESS = {Brisbane, Australia}, AUTHOR = {Alvim, M{\'a}rio S. and Andres, Miguel E. and Palamidessi, Catuscia and Van Rossum, Peter}, BOOKTITLE = {6th IFIP International Conference on Theoretical Computer Science (TCS 2010)}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, DOI = {10.1007/978-3-642-15240-5{\_}5}, EDITOR = {Cristian S. Calude and Vladimiro Sassone}, PAGES = {55-70}, PUBLISHER = {Springer}, SERIES = {IFIP Advances in Information and Communication Technology}, TITLE = {Safe Equivalences for Security Properties}, URL = {http://hal.inria.fr/inria-00479674/en}, VOLUME = {323}, X-ID-HAL = {inria-00479674}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PAYS = {NL}, X-PROCEEDINGS = {yes}, YEAR = {2010}, BDSK-URL-1 = {http://dx.doi.org/10.1007/978-3-642-15240-5%7B%5C_%7D5} }
@INPROCEEDINGS{alvim:2010:hal-00548200:1, ADDRESS = {Edinburgh, United Kingdom}, AUTHOR = {Alvim, M{\'a}rio S. and Andres, Miguel E. and Palamidessi, Catuscia}, BOOKTITLE = {25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, DOI = {10.1109/LICS.2010.53}, PAGES = {314-321}, PUBLISHER = {IEEE Computer Society}, TITLE = {Probabilistic Information Flow}, URL = {http://hal.inria.fr/hal-00548200/en}, X-ID-HAL = {hal-00548200}, X-INTERNATIONAL-AUDIENCE = {yes}, X-INVITED-CONFERENCE = {yes}, X-PAYS = {NL}, X-PROCEEDINGS = {yes}, YEAR = {2010}, BDSK-URL-1 = {http://dx.doi.org/10.1109/LICS.2010.53} }
@TECHREPORT{alvim:2010:hal-00548214:1, AUTHOR = {Alvim, M{\'a}rio S. and Chatzikokolakis, Konstantinos and Degano, Pierpaolo and Palamidessi, Catuscia}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, INSTITUTION = {INRIA}, TITLE = {Differential Privacy versus Quantitative Information Flow}, URL = {http://hal.inria.fr/hal-00548214/en}, X-ID-HAL = {hal-00548214}, X-PAYS = {NL,IT}, YEAR = {2010} }
This file has been generated by bibtex2html 1.74