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