| 7 Nov: | Catuscia Palamidessi attends the workshop on The Interplay of Programming Languages and Cryptography and gives an invited talk Formal approaches to Information-hiding - An Overview - | ||||||
| 26 Oct: | Kostas Chatzikokolakis defends his PhD thesis Probabilistic and Information-Theoretic Approaches to Anonymity | ||||||
| 14-19 Oct: | Kostas Chatzikokolakis attends the Dagstuhl seminar Formal Protocol Verification Applied and present the paper Making Random Choices Invisible to the Scheduler | ||||||
| 14-19 Oct: | Catuscia Palamidessi attends the Dagstuhl seminar Formal Protocol Verification Applied and and gives an invited tutorial on ``Formal approaches to Information-hiding'' | ||||||
| 3-8 Sep: | Kostas Chatzikokolakis and Catuscia Palamidessi attend CONCUR 2007 and present the paper Making Random Choices Invisible to the Scheduler | ||||||
| 21 Aug: | Catuscia Palamidessi attends The 3rd International Workshop on Programming Language Interference and Dependence and gives an invited talk Formal Approaches to Information-hiding Protocols | ||||||
| 9-13 July: | Prakash Panangaden and Catuscia Palamidessi meet at ICALP 2007 and at LICS 2007 | ||||||
| 9 July: | Catuscia Palamidessi attends The Second International Workshop on Probabilistic Automata and Logic and gives an invited talk Information-hiding Protocols as Opaque Channels | ||||||
| 6-8 July: | Kostas Chatzikokolakis and Catuscia Palamidessi attend Computer Security Foundations 2007 and present the paper Probability of Error in Information-Hiding Protocols | ||||||
| 6-12 June: | Keye Martin visits the French team at LIX | ||||||
| 1-2 June: | Prakash Panangaden and Catuscia Palamidessi
meet in London at the PC selection meeting of QEST 2007
| 7-11 May: |
Prakash Panangaden visits the French
team at LIX |
7-28 May: |
Sophia Knight visits the French
team at LIX |
19-23 Mar:
|
Kostas Chatzikokolakis and Catuscia Palamidessi
attend the Bellairs workshop on
Mathematical Methods for Reasoning about Security, organized by Prakash Panangaden.
See
the picture of the workshop dinner
|
|
| 7 Dec: | Meeting ProNoBiS in LIX |
| 3 Sep : | SecCo 2007 (Lisboa): 5th International Workshop on Security Issues in Concurrency. Organized by Daniele Gorla and Catuscia Palamidessi. |