@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /users/comete/catuscia/bin/bib2bib -c 'year>=1998 & year <= 2012' -c 'author: "palamidessi"' papers.bib}}

@article{andres:2011:hal-00573447:1,
  author = {Andres, E., Miguel and Palamidessi, Catuscia and Sokolova, Ana and Van Rossum, Peter},
  title = {{Information Hiding in Probabilistic Concurrent Systems}},
  journal = {{Journal of Theoretical Computer Science}},
  volume = {412},
  number = {28},
  pages = {3072-3089},
  year = {2011},
  url = {http://hal.inria.fr/hal-00573447/en},
  x-id-hal = {hal-00573447}
}

@article{chatzikokolakis:2011:inria-00637160:1,
  author = {Chatzikokolakis, Konstantinos and Knight, Sophia and Palamidessi, Catuscia and Panangaden, Prakash},
  title = {{Epistemic Strategies and Games on Concurrent Processes}},
  journal = {{Transactions on Computational Logic}},
  publisher = {ACM},
  year = {2011},
  url = {http://hal.inria.fr/inria-00637160/en},
  x-id-hal = {inria-00637160}
}

@article{alvim:2011:inria-00637356:1,
  author = {Alvim, S., M\'ario and Andres, E., Miguel and Palamidessi, Catuscia},
  title = {{Information Flow in Interactive Systems}},
  journal = {{Journal of Computer Security}},
  publisher = {IOS Press},
  year = {2011},
  note = {To appear},
  url = {http://hal.inria.fr/inria-00637356/en},
  x-id-hal = {inria-00637356}
}

@inproceedings{aristizabal:2011:hal-00546722:1,
  author = {Aristizabal, Andr\'es and Bonchi, Filippo and Palamidessi, Catuscia and Pino, Luis and Valencia, Frank D.},
  title = {{Deriving Labels and Bisimilarity for Concurrent Constraint Programming}},
  booktitle = { {Proceedings of the 14th International Conference on Foundations of Software Science an Computation Structures (FOSSACS 2011). }},
  year = {2011},
  series = {Lecture Notes in Computer Science},
  editor = {Martin Hofmann},
  doi = {10.1007/ISBN 978-3-642-19804-5},
  publisher = {Springer},
  volume = {6604},
  pages = {138-152},
  address = {Saarbr{\"u}cken, Germany},
  url = {http://hal.inria.fr/hal-00546722/en},
  x-id-hal = {hal-00546722}
}

@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},
  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},
  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-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},
  url = {http://hal.inria.fr/hal-00655522/en},
  x-id-hal = {hal-00655522}
}

@proceedings{modersheim:2011:hal-00655523:1,
  author = {M{\"o}dersheim, Sebastian and Palamidessi, Catuscia},
  title = {{Post-proceedings of TOSCA -- Theory of Security and Applications}},
  year = {2011},
  series = {Lecture Notes in Computer Science},
  editor = {Sebastian M{\"o}dersheim and Catuscia Palamidessi},
  pages = {235 pages},
  publisher = {Springer},
  volume = {6993},
  url = {http://hal.inria.fr/hal-00655523/en},
  x-id-hal = {hal-00655523}
}

@proceedings{palamidessi:2011:hal-00655524:1,
  author = {Palamidessi, Catuscia and Riska, Alma},
  title = {{Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems}},
  year = {2011},
  editor = {Catuscia Palamidessi and Alma Riska},
  pages = {276 pages},
  publisher = {IEEE},
  url = {http://hal.inria.fr/hal-00655524/en},
  x-id-hal = {hal-00655524}
}

@inproceedings{hamadou:2010:inria-00424853:2,
  address = {Eindhoven, The Netherlands},
  author = {Hamadou, Sardaouna and Palamidessi, Catuscia and Sassone, Vladimiro and ElSalamouny, Ehab},
  booktitle = {Postproceedings of the 6th International Workshop on Formal Aspects in Security and Trust},
  doi = {10.1007/978-3-642-12459-4_11},
  editor = {Pierpaolo Degano and Joshua D. Guttman},
  pages = {141-156},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Probable Innocence and Independent Knowledge},
  url = {http://hal.inria.fr/inria-00424853/en},
  volume = {5983},
  x-id-hal = {inria-00424853},
  year = {2010},
}

@incollection{longo:2010:hal-00445553:3,
  author = {Longo, Giuseppe and Palamidessi, Catuscia and Thierry, Paul},
  booktitle = {Randomness Through Computation},
  editor = {Hector Zenil},
  note = {ISBN: 978-981-4327-74-9},
  publisher = {World Scientific},
  title = {{Some Bridging Results and Challenges in Classical, Quantum and Computational Randomnessi}},
  url = {http://hal.inria.fr/hal-00445553/en},
  x-id-hal = {hal-00445553},
  year = {2011}
}

@inproceedings{PALAMIDESSI:2010:HAL-00548210:1,
  address = {{L}ac {B}eaufort, {Q}u\'ebec {C}ity, {C}anada},
  author = {{C}atuscia {P}alamidessi},
  booktitle = {Joint Conference: 10th International Conference on the Mathematics of Program Construction (MPC 2010), and 13th International Conference on Algebraic Methodology And Software Technology (AMAST 2010)},
  doi = {10.1007/978-3-642-13321-3_2},
  editor = {{C}laude {B}olduc and {J}ules {D}esharnais and {B}{\'e}chir {K}tari},
  hal_id = {hal-00548210},
  language = {{E}nglish},
  pages = {19-19},
  publisher = {{S}pringer},
  series = {{L}ecture {N}otes in {C}omputer {S}cience},
  title = {{C}ompositionality of {S}ecure {I}nformation {F}low},
  url = {http://hal.archives-ouvertes.fr/hal-00548210/en/},
  volume = {6120},
  x-invited-conference = {yes},
  year = {2010},
}

@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)},
  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-invited-conference = {yes},
  year = {2010},
}

@inproceedings{ALVIM:2010:HAL-00548212:1,
  address = {{B}risbane, {A}ustralia},
  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)},
  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-invited-conference = {yes},
  year = {2010},
}

@article{chatzikokolakis:2010:inria-00424860:2,
  author = {Chatzikokolakis, Konstantinos and Palamidessi, Catuscia},
  doi = {10.1016/j.ic.2009.06.006},
  journal = {Information and Computation},
  number = {6},
  pages = {694-715},
  title = {Making Random Choices Invisible to the Scheduler},
  url = {http://hal.inria.fr/inria-00424860/en},
  volume = {208},
  x-id-hal = {inria-00424860},
  year = {2010},
}

@inproceedings{chiarugi:2010:hal-00548213:1,
  address = {Niagara Falls, New York, USA},
  author = {Chiarugi, Davide and Falaschi, Moreno and Olarte, Carlos and Palamidessi, Catuscia},
  booktitle = {First ACM International Conference on Bioinformatics and Computational Biology (BCB 2010)},
  doi = {10.1145/1854776.1854843},
  pages = {414-417},
  publisher = {ACM Digital Libraries},
  title = {Compositional modelling of signalling pathways in timed concurrent constraint programming},
  url = {http://hal.inria.fr/hal-00548213/en},
  x-id-hal = {hal-00548213},
  year = {2010},
}

@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)},
  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},
  year = {2010},
}

@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)},
  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},
  year = {2010},
}

@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)},
  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},
  year = {2010},
}

@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)},
  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},
  year = {2010},
}

@inproceedings{hamadou:2010:inria-00548007:1,
  address = {Berleley/Oakland, California, USA},
  author = {Hamadou, Sardaouna and Sassone, Vladimiro and Palamidessi, Catuscia},
  booktitle = {31st IEEE Symposium on Security and Privacy},
  doi = {10.1109/SP.2010.13},
  pages = {79-92},
  publisher = {IEEE Computer Society},
  title = {Reconciling Belief and Vulnerability in Information Flow},
  url = {http://hal.inria.fr/inria-00548007/en},
  x-id-hal = {inria-00548007},
  year = {2010},
}

@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)},
  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-invited-conference = {yes},
  year = {2010},
}

@techreport{alvim:2010:hal-00548214:1,
  author = {Alvim, M{\'a}rio S. and Chatzikokolakis, Konstantinos and Degano, Pierpaolo and Palamidessi, Catuscia},
  institution = {INRIA},
  title = {Differential Privacy versus Quantitative Information Flow},
  url = {http://hal.inria.fr/hal-00548214/en},
  x-id-hal = {hal-00548214},
  year = {2010}
}

@incollection{gabbrielli:2010:hal-00545256:1,
  author = {Gabbrielli, Maurizio and Palamidessi, Catuscia and Valencia, Frank D.},
  booktitle = {A 25-Year Perspective on Logic Programming},
  doi = {10.1007/978-3-642-14309-0_11},
  editor = {Agostino Dovier and Enrico Pontelli},
  month = jun,
  pages = {231-253},
  publisher = {Springer},
  title = {Concurrent and Reactive Constraint Programming},
  url = {http://hal.inria.fr/hal-00545256/en},
  x-id-hal = {hal-00545256},
  year = {2010},
}

@article{Kramer:09:JANCL,
  author = {Simon Kramer and Catuscia Palamidessi and Roberto Segala and Andrea Turrini and Christelle Braun},
  doi = {10.3166/jancl.19.489516},
  journal = {The Journal of Applied Non-Classical Logics},
  number = {4},
  pages = {489-516},
  title = {A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding},
  url = {http://hal.archives-ouvertes.fr/inria-00445212/en/},
  volume = {19},
  year = {2009},
}

@inproceedings{Bhowmick:08:TGC,
  author = {Abhishek Bhowmick and Catuscia Palamidessi},
  booktitle = {Proceedings of the Fourth Symposium on Trustworthy Global Computing (TGC 2008)},
  editor = {Christos Kaklamanis and Flemming Nielson},
  pages = {36--51},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Bounds on the leakage of the input's distribution in information-hiding protocols},
  url = {http://hal.archives-ouvertes.fr/hal-00444579/en/},
  volume = {5474},
  year = {2009},
}

@article{Norman:08:TSE,
  author = {Gethin Norman and Catuscia Palamidessi and David Parker and Peng Wu},
  journal = {IEEE Transactions of Software Engineering},
  number = {2},
  pages = {209--223},
  rating = {1},
  title = {Model checking probabilistic and stochastic extensions of the $\pi$-calculus},
  url = {http://hal.archives-ouvertes.fr/inria-00424856/en/},
  volume = {35},
  year = {2009},
}

@article{Cacciagrano:08:LMCS,
  author = {Diletta Cacciagrano and Flavio Corradini and Catuscia Palamidessi},
  journal = {Logical Methods in Computer Science},
  number = {2 - 15},
  title = {Explicit Fairness in Testing Semantics},
  url = {http://hal.archives-ouvertes.fr/hal-00444580/en/},
  volume = {5},
  year = {2009},
}

@article{Beauxis:09:TCS,
  author = {Romain Beauxis and Catuscia Palamidessi},
  bibdate = {2009-09-03},
  bibsource = {DBLP, http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#BeauxisP09},
  doi = {http://dx.doi.org/10.1016/j.tcs.2009.06.008},
  journal = {Theoretical Computer Science},
  number = {41},
  pages = {4006--4025},
  title = {Probabilistic and nondeterministic aspects of anonymity},
  url = {http://hal.archives-ouvertes.fr/inria-00424855/en/},
  volume = {410},
  year = {2009},
}

@inproceedings{Braun:09:MFPS,
  author = {Christelle Braun and Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  booktitle = {Proceedings of the 25th Conf. on Mathematical Foundations of Programming Semantics},
  pages = {75-91},
  publisher = {Elsevier B.V.},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {Quantitative Notions of Leakage for One-try Attacks},
  url = {http://hal.archives-ouvertes.fr/inria-00424852/en/},
  volume = {249},
  year = {2009},
}

@inproceedings{Falaschi:09:PPDP,
  author = {Moreno Falaschi and Carlos Olarte and Catuscia Palamidessi},
  booktitle = {Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'09},
  doi = {10.1145/1599410.1599436},
  editor = {Ant{\'o}nio Porto and Francisco Javier L{\'o}pez-Fraguas},
  pages = {207-218},
  publisher = {ACM},
  title = {A framework for abstract interpretation of timed concurrent constraint programs},
  url = {http://hal.inria.fr/inria-00426608/en/},
  year = {2009},
}

@inproceedings{Braun:08:FOSSACS,
  author = {Christelle Braun and Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  booktitle = {Proceedings of FOSSACS},
  doi = {10.1007/978-3-540-78499-9_31},
  editor = {Roberto Amadio},
  pages = {443-457},
  pdf = {http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/Compositional/report.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Compositional Methods for Information-Hiding},
  url = {http://hal.inria.fr/inria-00349227/en/},
  volume = {4962},
  year = {2008},
}

@inproceedings{Beauxis:08:BOOK,
  author = {Romain Beauxis and Catuscia Palamidessi and Frank D. Valencia},
  booktitle = {Concurrency, Graphs and Models},
  doi = {10.1007/978-3-540-68679-8_29},
  editor = {Pierpaolo Degano and Rocco {De Nicola} and Jos\'e Meseguer},
  pages = {473-492},
  pdf = {http://www.lix.polytechnique.fr/~catuscia/papers/Romain/asynchronouspi.pdf},
  publisher = {Springer},
  read = {Yes},
  series = {Lecture Notes in Computer Science},
  title = {On the Asynchronous Nature of the Asynchronous pi-Calculus},
  url = {http://hal.inria.fr/inria-00349226/en/},
  volume = {5065},
  year = {2008},
}

@inproceedings{Beauxis:08:TGC,
  author = {Romain Beauxis and Konstantinos Chatzikokolakis and Catuscia Palamidessi and Prakash Panangaden},
  booktitle = {Proceedings of the Third Symposium on Trustworthy Global Computing (TGC 2007)},
  doi = {10.1007/978-3-540-78663-4_23},
  editor = {Gilles Barthe and C{\'e}dric Fournet},
  pages = {347-362},
  pdf = {http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/Channels-TGC07/tgc.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Formal Approaches to Information-Hiding (Tutorial)},
  url = {http://hal.inria.fr/inria-00261827/en/},
  volume = {4912},
  year = {2008},
}

@article{Chatzikokolakis:08:JCS,
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi and Prakash Panangaden},
  doi = {10.3233/JCS-2008-0333},
  journal = {Journal of Computer Security},
  number = {5},
  pages = {531--571},
  pdf = {http://www.lix.polytechnique.fr/~catuscia/papers/ProbabilityError/full.pdf},
  title = {On the Bayes risk in information-hiding protocols},
  url = {http://hal.inria.fr/inria-00349224/en/},
  volume = {16},
  year = {2008},
}

@techreport{Troina:08:TechRep,
  author = {Angelo Troina and Jean Goubault-Larrecq and Catuscia Palamidessi},
  institution = {{LIX}, {E}cole {P}olytechnique},
  title = {A Probabilistic Applied Pi-Calculus},
  year = {2008}
}

@article{Palamidessi:00:IandC,
  author = {Catuscia Palamidessi and Joachim Parrow and Rob J. van Glabbeek},
  journal = {Information and Computation},
  number = {1-2},
  pages = {1},
  title = {Preface},
  volume = {156},
  year = {2000}
}

@inproceedings{Aranda:06:FMCO,
  author = {Jesus Aranda and Cinzia Di Giusto and Catuscia Palamidessi and Frank Valencia},
  booktitle = {Postproceedings of the 5th International Symposium on Formal Methods for Components and Objects (FMCO'06)},
  editor = {Frank S. {de Boer} and Marcello M. Bonsangue},
  note = {\url{http://www.lix.polytechnique.fr/~fvalenci/papers/fmco07.pdf}},
  pages = {185-206},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi},
  volume = {4709},
  year = {2007}
}

@article{Chatzikokolakis:08:IC,
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi and Prakash Panangaden},
  doi = {10.1016/j.ic.2007.07.003},
  journal = {Inf. and Comp.},
  number = {2--4},
  pages = {378--401},
  title = {Anonymity Protocols as Noisy Channels},
  url = {http://hal.inria.fr/inria-00349225/en/},
  volume = {206},
  year = {2008},
}

@inproceedings{Goubault-Larrecq:07:APLAS,
  author = {Jean Goubault-Larrecq and Catuscia Palamidessi and Angelo Troina},
  booktitle = {Proceedings of the 5th Asian Symposium on Programming Languages and Systems (APLAS'07)},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Angelo/aplas.pdf}},
  pages = {175-190},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Probabilistic Applied Pi-Calculus},
  volume = {4807},
  year = 2007
}

@article{Vigliotti:07:TCS,
  author = {Maria Grazia Vigliotti and Iain Phillips and Catuscia Palamidessi},
  journal = {Theoretical Computer Science},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/2007/MariaGrazia/tcs.pdf}},
  number = {1-3},
  pages = {267-289},
  title = {Tutorial on separation results in process calculi via leader election problems},
  url = {http://hal.inria.fr/inria-00201071/en/},
  volume = {388},
  year = 2007,
}

@inproceedings{Norman:07:QEST,
  author = {Gethin Norman and Catuscia Palamidessi and David Parker and Peng Wu},
  booktitle = {4th International Conference on the Quantitative Evaluation of SysTems (QEST)},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Wu/qest1.pdf}. Full version in \url{http://www.lix.polytechnique.fr/~catuscia/papers/2009/TSE.pdf}},
  pages = {169-178},
  publisher = {IEEE Computer Society},
  title = {Model checking the probabilistic pi-calculus},
  year = 2007
}

@inproceedings{Wu:07:QEST,
  author = {Peng Wu and Catuscia Palamidessi and Huimin Lin},
  booktitle = {Proceedings of 4th International Conference on the Quantitative Evaluation of SysTems (QEST)},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Wu/qest2.pdf}},
  pages = {179-188},
  publisher = {IEEE Computer Society},
  title = {Symbolic Bisimulation for Probabilistic Systems},
  year = 2007
}

@inproceedings{Olarte:07:ICLP,
  author = {Carlos Olarte and Catuscia Palamidessi and Frank D. Valencia},
  booktitle = {Proceedings of the 23rd International Conference in Logic Programming (ICLP'07)},
  editor = {Ver{\'o}nica Dahl and Ilkka Niemel{\"a}},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07DC.pdf}},
  pages = {464--465},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Universal Timed Concurrent Constraint Programming},
  volume = {4670},
  year = 2007
}

@inproceedings{Falaschi:07:ICLP,
  author = {Moreno Falaschi and Carlos Olarte and Catuscia Palamidessi and Frank D. Valencia},
  booktitle = {Proceedings of The 23rd International Conference in Logic Programming (ICLP'07)},
  editor = {Ver{\'o}nica Dahl and Ilkka Niemel{\"a}},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07.pdf}},
  pages = {271--285},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Declarative Diagnosis of Temporal Concurrent Constraint Programs},
  volume = {4670},
  year = 2007
}

@inproceedings{Chatzikokolakis:07:CONCUR,
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  booktitle = {Proceedings of CONCUR'07},
  editor = {Lu{\'\i}s Caires and Vasco Thudichum Vasconcelos},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Scheduler/report.pdf}},
  pages = {42--58},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Making Random Choices Invisible to the Scheduler},
  volume = {4703},
  year = 2007
}

@inproceedings{Chatzikokolakis:07:CSF,
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi and Prakash Panangaden},
  booktitle = {Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF20)},
  pages = {341-354},
  publisher = {IEEE Computer Society},
  title = {Probability of Error in Information-Hiding Protocols},
  year = 2007,
}

@inproceedings{Cacciagrano:06:EXPRESS,
  author = {Diletta Cacciagrano and Flavio Corradini and Catuscia Palamidessi},
  booktitle = {Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06)},
  editors = {Iain Phillips and Roberto Amadio},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Diletta/FairPi/express06.pdf}},
  pages = {3--26},
  publisher = {Elsevier Science B.V.},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {Fair $\Pi$},
  volume = {175 (3)},
  year = {2007}
}

@inproceedings{Chatzikokolakis:06:TGC,
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi and Prakash Panangaden},
  booktitle = {Proceedings of the 2nd Symposium on Trustworthy Global Computing (TGC)},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/Channels/tgc.pdf}},
  pages = {281-300},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Anonymity Protocols as Noisy Channels},
  volume = {4661},
  year = {2006}
}

@article{Deng:07:TCS,
  author = {Yuxin Deng and Catuscia Palamidessi},
  journal = {Theoretical Computer Science},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Prob_Axiom/tcs.pdf}},
  number = {1-2},
  pages = {92--114},
  title = {Axiomatizations for probabilistic finite-state behaviors},
  url = {http://hal.inria.fr/inria-00200928/en/},
  volume = {373},
  year = {2007},
}

@article{Palamidessi:06:EATCS,
  author = {C. Palamidessi and F. Valencia},
  journal = {Bulletin of the European Association for Theoretical Computer Science},
  month = oct,
  note = {Column: Programming Languages. \url{http://www.lix.polytechnique.fr/~catuscia/papers/Frank/EATCS_06/paper.pdf}},
  pages = {155--171},
  title = {Languages for Concurrency},
  volume = {90},
  year = {2006}
}

@inproceedings{Lopez:06:ICLP,
  author = {Hugo A. L{\'o}pez and Catuscia Palamidessi and Jorge and Camilo Rueda and Frank D. Valencia},
  booktitle = {Proceedings of the 22nd International Conference on logic Programming, (ICLP)},
  editor = {Sandro Etalle and Miroslaw Truszczynski},
  pages = {449--450},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Declarative Framework for Security: Secure Concurrent Constraint Programming},
  volume = {4079},
  year = {2006}
}

@inproceedings{Palamidessi:06:LICS,
  author = {Catuscia Palamidessi and Vijay A. Saraswat and Frank D. Valencia and Bj{\"o}rn Victor},
  booktitle = {Proceedings of the Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS)},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Frank/LICS_06/main.pdf}},
  pages = {59--68},
  publisher = {IEEE Computer Society},
  title = {On the Expressiveness of Linearity vs Persistence in the Asynchronous pi-calculus},
  url = {http://hal.inria.fr/inria-00201096/en/},
  year = 2006,
}

@article{Cacciagrano:06:TCS,
  author = {Diletta Cacciagrano and Flavio Corradini and Catuscia Palamidessi},
  journal = {Theoretical Computer Science},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Diletta/Must/report.pdf}},
  number = {3},
  pages = {218-235},
  title = {Separation of synchronous and asynchronous communication via testing},
  url = {http://hal.inria.fr/inria-00200916/en/},
  volume = {386},
  year = {2007},
}

@article{Chatzikokolakis:06:TCS,
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  journal = {Theoretical Computer Science},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/tcsPI.pdf}},
  number = {1-2},
  pages = {123--138},
  title = {Probable Innocence Revisited},
  url = {http://hal.inria.fr/inria-00201072/en/},
  volume = 367,
  year = {2006},
}

@inproceedings{Palamidessi:05:FMCO,
  author = {Catuscia Palamidessi and Iain Phillips and Maria Grazia Vigliotti},
  booktitle = {Postproceedings of the 4th International Symposium on Formal Methods for Components and Objects (FMCO)},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/2006/MariaGrazia/FMCO/fmco-06.pdf}},
  pages = {172--194},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Expressiveness via Leader Election Problems},
  volume = {4111},
  year = {2005}
}

@inproceedings{Pradalier:06:QAPL,
  author = {Sylvain Pradalier and Catuscia Palamidessi},
  booktitle = {Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL)},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Sylvain/QAPL06/FinalBis.pdf}},
  pages = {119--136},
  publisher = {Elsevier Science B.V.},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {Expressiveness of probabilistic $\pi$-calculi},
  volume = {164 (3)},
  year = 2006
}

@inproceedings{palamidessi_et_al:DSP:2006:299,
  author = {Catuscia Palamidessi and Mohit Bhargava},
  booktitle = {Foundations of Global Computing},
  editor = {Jos{\'e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing},
  note = {\url{drops.dagstuhl.de/opus/volltexte/2006/299}},
  number = {05081},
  publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany},
  series = {Dagstuhl Seminar Proceedings},
  title = {Probabilistic Anonymity},
  year = {2006}
}

@inproceedings{Deng:05:FOSSACS,
  author = {Yuxin Deng and Catuscia Palamidessi},
  booktitle = {Proceedings of FOSSACS'05},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Prob_Axiom/fossacs05.pdf}},
  pages = {110--124},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Axiomatizations for probabilistic finite-state behaviors},
  volume = 3441,
  year = {2005}
}

@article{Palamidessi:05:TCS,
  author = {Catuscia Palamidessi and Oltea M. Herescu},
  journal = {Theoretical Computer Science},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/prob_enc/report.pdf}},
  number = {2-3},
  pages = {373-404},
  title = {A randomized encoding of the $\pi$-calculus with mixed choice},
  url = {http://hal.inria.fr/inria-00201105/en/},
  volume = 335,
  year = {2005},
}

@article{Chatzikokolakis:05:TCS,
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  journal = {Theoretical Computer Science},
  note = {A short version of this paper appeared in the {\em Proceedings of the Symposium on Trustworthy Global Computing (TGC)}, volume 3705 of LNCS, pages 146-162. Springer. \url{http://www.lix.polytechnique.fr/~catuscia/papers/PartialSecrets/TCSreport.pdf}},
  number = {3},
  pages = {512-527},
  title = {A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange},
  volume = {389},
  year = 2007
}

@inproceedings{Chatzikokolakis:05:TGC,
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  booktitle = {Proceedings of the Symp. on Trustworthy Global Computing},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/PartialSecrets/tgc05.pdf}},
  pages = {146-162},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange},
  volume = 3705,
  year = {2005}
}

@inproceedings{Deng:05:QAPL,
  author = {Yuxin Deng and Tom Chothia and Catuscia Palamidessi and Jun Pang},
  booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Metrics/QAPL/gts.pdf}},
  number = {2},
  pages = {79--96},
  publisher = {Elsevier Science Publishers},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {Metrics for Action-labelled Quantitative Transition Systems},
  volume = {153},
  year = {2006}
}

@inproceedings{Chatzikokolakis:05:FAST,
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  booktitle = {Third International Workshop on Formal Aspects in Security and Trust (FAST 2005), Revised Selected Papers},
  editor = {Theodosis Dimitrakos and Fabio Martinelli and Peter Y. A. Ryan and Steve A. Schneider},
  pages = {142-157},
  pdf = {http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/reportPI.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Probable Innocence Revisited},
  volume = {3866},
  year = {2006}
}

@inproceedings{Deng:05:SECCO,
  author = {Yuxin Deng and Catuscia Palamidessi and Jun Pang},
  booktitle = {Proceedings of the 3rd International Workshop on Security Issues in Concurrency (SecCo)},
  editor = {Michael Backes and Andre Scedrov},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/report_wa.pdf}},
  pages = {55--76},
  publisher = {Elsevier Science B.V.},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {Weak Probabilistic Anonymity},
  volume = {180 (1)},
  year = {2007}
}

@inproceedings{Bhargava:05:CONCUR,
  author = {Mohit Bhargava and Catuscia Palamidessi},
  booktitle = {Proceedings of CONCUR},
  editor = {Mart\'{\i}n Abadi and Luca de Alfaro},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/concur.pdf}},
  pages = {171--185},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Probabilistic Anonymity},
  volume = 3653,
  year = 2005
}

@inproceedings{Cacciagrano:05:EXPRESS,
  address = {San Francisco, USA},
  author = {Diletta Cacciagrano and Flavio Corradini and Catuscia Palamidessi},
  booktitle = {Proceedings of the 12th International Workshop on Expressiveness in Concurrency (EXPRESS 2005)},
  editors = {Jos Baeten and Iain Phillips},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Diletta/Must/report.pdf}},
  number = {3},
  pages = {95--108},
  publisher = {Elsevier Science B.V.},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {Separation of synchronous and asynchronous communication via testing},
  volume = {154},
  year = {2006}
}

@inproceedings{Palamidessi:05:MFPS,
  address = {Birmingham, UK},
  author = {Catuscia Palamidessi},
  booktitle = {Proceedings of the 21st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXI)},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/MFPS/paper.pdf}},
  pages = {33--42},
  publisher = {Elsevier Science B.V.},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {Probabilistic and nondeterministic aspects of Anonymity},
  volume = {155},
  year = {2006}
}

@inproceedings{Palamidessi:05:BERTINORO,
  address = {Bertinoro, Italy},
  author = {Catuscia Palamidessi},
  booktitle = {Proceedings of the Workshop on ``Essays on Algebraic Process Calculi'' (APC 25)},
  editors = {Luca Aceto and Andrew D. Gordon},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/Bertinoro/paper.pdf}},
  pages = {277-279},
  publisher = {Elsevier Science B.V.},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {Anonymity in probabilistic and nondeterministic systems},
  volume = {162},
  year = {2006}
}

@inproceedings{Ziegler:05:SOS,
  address = {Lisbon, Portugal},
  author = {Axelle Ziegler and Dale Miller and Catuscia Palamidessi},
  booktitle = {Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS'05)},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Axelle/SOS_05/report.pdf}},
  number = {1},
  pages = {169--189},
  publisher = {Elsevier Science B.V.},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {A Congruence Format for Name-passing Calculi},
  volume = {156},
  year = {2006}
}

@incollection{Deng:05:BookJW,
  author = {Yuxin Deng and Catuscia Palamidessi and Jun Pang},
  booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity},
  editor = {Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Yuxin/BookJW/par.pdf}},
  pages = {309-337},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Compositional Reasoning for Probabilistic Finite-State Behaviors},
  volume = {3838},
  year = {2005}
}

@article{Palamidessi:05:EATCS,
  author = {Catuscia Palamidessi and Frank D. Valencia},
  bibdate = {2005-11-14},
  journal = {Bulletin of the EATCS},
  note = {Column: Concurrency. \url{http://www.lix.polytechnique.fr/~catuscia/papers/Frank/EATCS_05/recrep.pdf}},
  pages = {105--125},
  title = {Recursion vs Replication in Process Calculi: Expressiveness},
  volume = {87},
  year = {2005}
}

@inproceedings{Palamidessi:01:CP,
  author = {Catuscia Palamidessi and Frank D. Valencia},
  booktitle = {Proc. of the 7th International Conference on Principles and Practice of Constraint Programming},
  editor = {Toby Walsh},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Ntcc/final.ps}},
  pages = {302--316},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Temporal Concurrent Constraint Programming Calculus},
  volume = {2239},
  year = {2001}
}

@inproceedings{Herescu:00:FOSSACS,
  author = {Oltea Mihaela Herescu and Catuscia Palamidessi},
  booktitle = {Proceedings of FOSSACS 2000 (Part of ETAPS 2000)},
  editor = {Jerzy Tiuryn},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Prob_asy_pi/fossacs.ps}},
  pages = {146--160},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Probabilistic Asynchronous $\pi$-Calculus},
  volume = {1784},
  year = {2000}
}

@inproceedings{Herescu:01:PODC,
  author = {Oltea Mihaela Herescu and Catuscia Palamidessi},
  booktitle = {Proceedings of the 20th {ACM} Symposium on Principles of Distributed Computing},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Gen_Phil/podc.ps}},
  pages = {81--89},
  title = {On the Generalized Dining Philosophers Problem},
  year = {2001}
}

@inproceedings{Gilbert:00:CL,
  author = {David Gilbert and Catuscia Palamidessi},
  booktitle = {Proceedings of the Conference on Computational Logic - CL 2000},
  editor = {John Lloyd et al.},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/CC_Migration/cl.ps}},
  pages = {463--477},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Concurrent Constraint Programming with Process Mobility},
  year = {2000}
}

@inproceedings{Palamidessi:02:TCS,
  author = {Catuscia Palamidessi and Oltea M. Herescu},
  booktitle = {Proceedings of the {\it 2nd IFIP International Conference on Theoretical Computer Science}},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/prob_enc/ifiptcs02.ps}},
  pages = {537--549},
  title = {A randomized encoding of the $\pi$-calculus with mixed choice},
  year = {2002}
}

@inproceedings{Nielsen:02:PPDP,
  address = {New York},
  author = {Mogens Nielsen and Catuscia Palamidessi and Frank D. Valencia},
  booktitle = {Proceedings of the Fourth {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming},
  month = oct # {6--8},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/ppdp02.ps}},
  pages = {156--167},
  publisher = {ACM Press},
  title = {On the expressive power of temporal concurrent constraint programming languages},
  year = {2002}
}

@inproceedings{Palamidessi:02:PPDP,
  address = {New York},
  author = {Catuscia Palamidessi},
  booktitle = {Proceedings of the Fourth {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming ({PPDP}-02)},
  note = {Invited talk},
  pages = {74--75},
  publisher = {ACM Press},
  title = {Mobile calculi for distributed programming},
  year = {2002}
}

@article{Nielsen:02:NJC,
  author = {M. Nielsen and C. Palamidessi and F. Valencia},
  journal = {Nordic Journal of Computing},
  note = {\url {http://www.lix.polytechnique.fr/~catuscia/papers/Ntcc/njc02.ps}},
  pages = {145--188},
  title = {Temporal Concurrent Constraint Programming: Denotation, Logic and Applications},
  volume = {9},
  year = {2002}
}

@article{Palamidessi:03:MSCS,
  author = {Catuscia Palamidessi},
  journal = {Mathematical Structures in Computer Science},
  note = {Available at \url{http://www.lix.polytechnique.fr/~catuscia/papers/pi_calc/mscs.pdf}. A short version of this paper appeared in POPL'97.},
  number = {5},
  pages = {685--719},
  title = {Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus},
  url = {http://hal.inria.fr/inria-00201104/en/},
  volume = {13},
  year = {2003},
}

@article{Mcdowell:03:TCS,
  author = {Raymond McDowell and Dale Miller and Catuscia Palamidessi},
  journal = {Theoretical Computer Science},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Tran_Sys_in_SC/tcs.ps}},
  number = 3,
  pages = {411-437},
  title = {Encoding transition systems in sequent calculus},
  volume = 294,
  year = 2003
}

@techreport{Herescu:04:TR,
  author = {Oltea M. Herescu and Catuscia Palamidessi},
  institution = {INRIA Futurs and LIX},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Prob_asy_pi/report.ps}},
  title = {Probabilistic Asynchronous $\pi$-calculus},
  year = {2004}
}

@techreport{Bhargava:05:TR,
  author = {Mohit Bhargava and Catuscia Palamidessi},
  institution = {INRIA Futurs and LIX},
  note = {To appear in the proceedings of CONCUR 2005. Report version available at \url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/report.ps}},
  title = {Probabilistic Anonymity},
  year = {2005}
}

@techreport{Chatzikokolakis:05:TR,
  author = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  institution = {INRIA Futurs and LIX},
  note = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/reportPI.pdf}},
  title = {Probable Innocence Revisited},
  year = {2005}
}

This file was generated by bibtex2html 1.96.