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