 |
|
|
|
| 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