@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "andres"' papers.bib}}
@TECHREPORT{andres:hal-00766821,
AUTHOR = {Andres, E., Miguel and Bordenabe, Nicolas E. and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia},
TITLE = {{Geo-Indistinguishability: Differential Privacy for Location-Based Systems}},
TYPE = {Technical Report},
URL = {http://hal.inria.fr/hal-00766821},
X-ID-HAL = {hal-00766821},
YEAR = {2012}
}
@TECHREPORT{chatzikokolakis:hal-00767210,
AUTHOR = {Chatzikokolakis, Konstantinos and Andres, E., Miguel and Bordenabe, Nicolas E. and Palamidessi, Catuscia},
TITLE = {{Enhancing Differential Privacy: from Hamming to General Metrics}},
TYPE = {Technical Report},
URL = {http://hal.inria.fr/hal-00767210},
X-ID-HAL = {hal-00767210},
YEAR = {2012}
}
@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}
}
@ARTICLE{andres:2011:hal-00573447:1,
AUTHOR = {Andres, E., Miguel and Palamidessi, Catuscia and Sokolova, Ana and Van Rossum, Peter},
X-PAYS = {AT,NL},
TITLE = {{Information Hiding in Probabilistic Concurrent Systems}},
JOURNAL = {{Journal of Theoretical Computer Science}},
VOLUME = {412},
NUMBER = {28},
PAGES = {3072-3089},
YEAR = {2011},
X-INTERNATIONAL-AUDIENCE = {yes},
X-EDITORIAL-BOARD = {yes},
URL = {http://hal.inria.fr/hal-00573447/en},
X-ID-HAL = {hal-00573447}
}
@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{andres:2011:tel-00655506:1,
AUTHOR = {Andres, Miguel},
TITLE = {{Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems}},
YEAR = {2011},
MONTH = JUL,
SCHOOL = {Radboud University, Nijmegen},
URL = {http://hal.inria.fr/tel-00655506/en},
X-ID-HAL = {tel-00655506}
}
@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{andres:2010:hal-00445445:2,
ADDRESS = {Cyprus},
AUTHOR = {Andres, Miguel E. and Palamidessi, Catuscia and Van Rossum, Peter and Smith, Geoffrey},
BOOKTITLE = {16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 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-12002-2{\_}32},
EDITOR = {Javier Esparza and Rupak Majumdar},
PAGES = {373-389},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Computing the Leakage of Information-Hiding Systems},
URL = {http://hal.inria.fr/hal-00445445/en},
VOLUME = {6015},
X-ID-HAL = {hal-00445445},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PAYS = {NL,US},
X-PROCEEDINGS = {yes},
YEAR = {2010},
BDSK-URL-1 = {http://dx.doi.org/10.1007/978-3-642-12002-2%7B%5C_%7D32}
}
@INPROCEEDINGS{andres:2010:hal-00548187:1,
ADDRESS = {Williamsburg, VA, USA},
AUTHOR = {Andres, Miguel E. and Palamidessi, Catuscia and Van Rossum, Peter and Sokolova, Ana},
BOOKTITLE = {7th IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2010)},
DATE-ADDED = {2010-12-30 03:55:53 +0100},
DATE-MODIFIED = {2010-12-30 03:55:53 +0100},
DOI = {10.1109/QEST.2010.11},
PAGES = {17-26},
PUBLISHER = {IEEE Computer Society},
TITLE = {Information Hiding in Probabilistic Concurrent Systems},
URL = {http://hal.inria.fr/hal-00548187/en},
X-ID-HAL = {hal-00548187},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PAYS = {NL,AT},
X-PROCEEDINGS = {yes},
YEAR = {2010},
BDSK-URL-1 = {http://dx.doi.org/10.1109/QEST.2010.11}
}
@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}
}
This file has been generated by bibtex2html 1.74