People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers published in 2011

[1] Mário Alvim, Miguel Andres, E., Konstantinos Chatzikokolakis, and Catuscia Palamidessi. Quantitative Information Flow and Applications to Differential Privacy. In Alessandro Aldini and Roberto Gorrieri, editors, Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, volume 6858 of Lecture Notes in Computer Science, pages 211-230. Springer, 2011.
[ bib | http ]
[2] Mário Alvim, S. 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. PhD thesis, Ecole Polytechnique X, October 2011.
[ bib | http ]
[3] Mário Alvim, S., Miguel Andres, E., Konstantinos Chatzikokolakis, Pierpaolo Degano, and Catuscia Palamidessi. Differential Privacy: on the trade-off between Utility and Information Leakage. In Gilles Barthe, Anupam Datta, and Sandro Etalle, editors, The 8th International Workshop on Formal Aspects of Security & Trust (FAST), Lecture Notes in Computer Science, Leuven, Belgium, March 2011. Springer.
[ bib | http ]
[4] Mário Alvim, S., Miguel Andres, E., Konstantinos Chatzikokolakis, and Catuscia Palamidessi. On the relation between Differential Privacy and Quantitative Information Flow. In Jiri Sgall Luca Aceto, Monika Henzinger, editor, 38th International Colloquium on Automata, Languages and Programming - ICALP 2011, volume 6756 of Lecture Notes in Computer Science, pages 60-76, Zurich, Switzerland, 2011. Springer.
[ bib | http ]
[5] Miguel Andres. Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems. PhD thesis, Radboud University, Nijmegen, July 2011.
[ bib | http ]
[6] Miguel Andres, E., Catuscia Palamidessi, Ana Sokolova, and Peter Van Rossum. Information Hiding in Probabilistic Concurrent Systems. Journal of Theoretical Computer Science, 412(28):3072-3089, 2011.
[ bib | http ]
[7] Andrés Aristizabal, Filippo Bonchi, Catuscia Palamidessi, Luis Pino, and Frank D. Valencia. Deriving Labels and Bisimilarity for Concurrent Constraint Programming. In Martin Hofmann, editor, Proceedings of the 14th International Conference on Foundations of Software Science an Computation Structures (FOSSACS 2011). , volume 6604 of Lecture Notes in Computer Science, pages 138-152, Saarbrücken, Germany, 2011. Springer.
[ bib | http ]
[8] David Baelde, Romain Beauxis, and Samuel Mimram. Liquidsoap: a High-Level Programming Language for Multimedia Streaming. In Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovic, Keith Jefferey, Rastislav Královic, Marko Vukolic, and Stefan Wolf, editors, SOFSEM 2011: Theory and Practice of Computer Science, volume 6543 of Lecture Notes in Computer Science, pages 99-110, Novy Smokovec, Slovakia, 2011. Springer Berlin / Heidelberg.
[ bib | http ]
[9] Romain Beauxis and Samuel Mimram. A Non-Standard Semantics for Kahn Networks in Continuous Time. In Marc Bezem, editor, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, volume 12 of Leibniz International Proceedings in Informatics (LIPIcs), pages 35-50, Bergen, Norway, 2011. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
[ bib | http ]
[10] Konstantinos Chatzikokolakis and Véronique Cortier, editors. Proceedings of the 8th International Workshop on Security Issues in Concurrency, volume 51 of Electronic Proceedings in Theoretical Computer Science. Electronic Proceedings in Theoretical Computer Science, 2011.
[ bib | http ]
[11] Jérémy Dubreil Franck Cassez and Hervé Marchand. Synthesis of opaque systems with static and dynamic masks. Technical report, INRIA, 2011. Submitted to Formal Methods in System Design (FORM).
[ bib ]
[12] Marco Giunti. A type checking algorithm for qualified session types. In Francesco Tiezzi Laura Kovács, Rosario Pugliese, editor, 7th International Workshop on Automated Specification and Verification of Web Systems, Reykjavik, Iceland, August 2011. Electronic Proceedings in Theoretical Computer Science.
[ bib | http ]
[13] Diana Hermith, Carlos Olarte, Camilo Rueda, and Frank D. Valencia. Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. In Miguel P. Rocha, Juan M. Corchado Rodriguez, Florentino Fdez-Riverola, and Alfonso Valencia, editors, PACBB, volume 93 of Advances in Intelligent and Soft Computing, pages 321-328, Salamanca, Spain, 2011. Springer.
[ bib | http ]
[14] Giuseppe Longo, Catuscia Palamidessi, and Paul Thierry. Some Bridging Results and Challenges in Classical, Quantum and Computational Randomnessi. In Hector Zenil, editor, Randomness Through Computation. World Scientific, 2011. ISBN: 978-981-4327-74-9.
[ bib | http ]
[15] Bas Luttik and Frank D. Valencia, editors. Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems, volume 64 of Electronic Proceedings in Theoretical Computer Science. Electronic Proceedings in Theoretical Computer Science, 2011.
[ bib | www: ]
[16] Sebastian Mödersheim and Catuscia Palamidessi, editors. Post-proceedings of TOSCA - Theory of Security and Applications, volume 6993 of Lecture Notes in Computer Science. Springer, 2011.
[ bib | http ]
[17] Catuscia Palamidessi and Alma Riska, editors. Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems. IEEE, 2011.
[ bib | http ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi