People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers published in 2010

[1] Mário S. Alvim, Miguel E. Andres, and Catuscia Palamidessi. Information flow in interactive systems. In Paul Gastin and François Laroussinie, editors, 21th International Conference on Concurrency Theory (CONCUR 2010), volume 6269 of Lecture Notes in Computer Science, pages 102-116, Paris, France, 2010. Springer.
[ bib | http ]
[2] Mário S. Alvim, Miguel E. Andres, and Catuscia Palamidessi. Probabilistic information flow. In 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), pages 314-321, Edinburgh, United Kingdom, 2010. IEEE Computer Society.
[ bib | http ]
[3] Mário S. Alvim, Miguel E. Andres, Catuscia Palamidessi, and Peter Van Rossum. Safe equivalences for security properties. In Cristian S. Calude and Vladimiro Sassone, editors, 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), volume 323 of IFIP Advances in Information and Communication Technology, pages 55-70, Brisbane, Australia, 2010. Springer.
[ bib | http ]
[4] Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, and Catuscia Palamidessi. Differential privacy versus quantitative information flow. Technical report, INRIA, 2010.
[ bib | http ]
[5] Miguel E. Andres, Catuscia Palamidessi, Peter Van Rossum, and Geoffrey Smith. Computing the leakage of information-hiding systems. In Javier Esparza and Rupak Majumdar, editors, 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010), volume 6015 of Lecture Notes in Computer Science, pages 373-389, Cyprus, 2010. Springer.
[ bib | http ]
[6] Miguel E. Andres, Catuscia Palamidessi, Peter Van Rossum, and Ana Sokolova. Information hiding in probabilistic concurrent systems. In 7th IEEE International Conference on Quantitative Evaluation of SysTems (QEST 2010), pages 17-26, Williamsburg, VA, USA, 2010. IEEE Computer Society.
[ bib | http ]
[7] Andrés A. Aristizabal P. Bisimilarity in concurrent constraint programming. In Manuel V. Hermenegildo and Torsten Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), volume 7 of Leibniz International Proceedings in Informatics, pages 236-240, Edinburgh, United Kingdom, July 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. Short paper accepted at the Doctoral Programme of ICLP'2010.
[ bib | http ]
[2010:tel-00527367:1">8] Christelle Braun. Quantitative Approaches to Information Hiding. PhD thesis, Ecole Polytechnique X, May 2010.
[ bib | http ]
[9] Catuscia Palamidessi. Compositionality of Secure Information Flow. In Claude Bolduc, Jules Desharnais, and Béchir Ktari, editors, 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), volume 6120 of Lecture Notes in Computer Science, pages 19-19, Lac Beaufort, Québec City, Canada, 2010. Springer.
[ bib | http ]
[10] Konstantinos Chatzikokolakis and Catuscia Palamidessi. Making random choices invisible to the scheduler. Information and Computation, 208(6):694-715, 2010.
[ bib | http ]
[11] Davide Chiarugi, Moreno Falaschi, Carlos Olarte, and Catuscia Palamidessi. Compositional modelling of signalling pathways in timed concurrent constraint programming. In First ACM International Conference on Bioinformatics and Computational Biology (BCB 2010), pages 414-417, Niagara Falls, New York, USA, 2010. ACM Digital Libraries.
[ bib | http ]
[12] Philippe Darondeau, Jérémy Dubreil, and Hervé Marchand. Supervisory control for modal specifications of services. In Workshop on Discrete Event Systems (WODES 2010), pages 428-435, Berlin, Germany, August 2010.
[ bib | http ]
[13] Philippe Darondeau, Jérémy Dubreil, and Hervé Marchand. Supervisory control for modal specifications of services. Research Report RR-7247, INRIA, April 2010.
[ bib | http ]
[14] Jérémy Dubreil, Philippe Darondeau, and Hervé Marchand. Supervisory control for opacity. IEEE Transactions on Automatic Control, May 2010.
[ bib | http ]
[15] Maurizio Gabbrielli, Catuscia Palamidessi, and Frank D. Valencia. Concurrent and reactive constraint programming. In Agostino Dovier and Enrico Pontelli, editors, A 25-Year Perspective on Logic Programming, pages 231-253. Springer, June 2010.
[ bib | http ]
[16] Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, and Ehab ElSalamouny. Probable innocence and independent knowledge. In Pierpaolo Degano and Joshua D. Guttman, editors, Postproceedings of the 6th International Workshop on Formal Aspects in Security and Trust, volume 5983 of Lecture Notes in Computer Science, pages 141-156, Eindhoven, The Netherlands, 2010. Springer.
[ bib | http ]
[17] Sardaouna Hamadou, Vladimiro Sassone, and Catuscia Palamidessi. Reconciling belief and vulnerability in information flow. In 31st IEEE Symposium on Security and Privacy, pages 79-92, Berleley/Oakland, California, USA, 2010. IEEE Computer Society.
[ bib | http ]
[18] Simon Kramer and Julian C. Bradfield. A general definition of malware. Journal in Computer Virology, 6(2):105-114, 2010.
[ bib | http ]
[19] Mário S. Alvim, Miguel E. Andres, and Catuscia Palamidessi. Entropy and Attack Models in Information Flow. In Cristian S. Calude and Vladimiro Sassone, editors, 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), volume 323 of IFIP Advances in Information and Communication Technology, pages 53-54, Brisbane, Australia, 2010. Springer.
[ bib | http ]
[20] Catuscia Palamidessi, Mário S. Alvim, and Miguel E. Andres. Interactive Information Flow. In Alessandro Armando and Gavin Lowe, editors, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010), volume 6186 of Lecture Notes in Computer Science, pages 111-111, Paphos, Cyprus, 2010. Springer.
[ bib | http ]
[21] Luis Pino. Analysis of the reachability problem in fragments of the pi-calculus. Technical report, Universidad del Valle, Colombia, 2010. BSc Thesis from Universidad del Valle, Colombia.
[ bib | http ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi