Section: Dissemination
Animation of the scientific community
Program committee chairs:
Participation to program committes of conferences:
-
20th European Symposium on Programming ESOP'11 (affiliated with ETAPS 2011), Saarbrücken, Germany, March-April 2011 (Jean Goubault-Larrecq)
-
Theory of Security and Applications Workshop TOSCA'11 (affiliated with ETAPS 2011), Saarbrücken, Germany, Germany, March-April 2011 (Graham Steel)
-
Workshop on Formal Methods and Cryptography CryptoForma'11, Limerick, Ireland, June 2011 (Graham Steel)
-
24th IEEE Computer Security Foundations Symposium CSF'11, Domaine de l'Abbaye des Vaux de Cernay, France, June 2011 (Steve Kremer, general chair; Stéphanie Delaune)
-
9th Annual Conference on Privacy, Security and Trust PST'11, Montréal, Québec, July 2011 (Steve Kremer)
-
23rd International Conference on Automated Deduction, Wroclaw, Poland, July-August 2011 (Stéphanie Delaune)
-
2nd International Conference on Runtime Verification RV'11, Berkeley, California, USA, September 2011 (Jean Goubault-Larrecq)
-
9th International Workshop on Security Issues in Concurrency SecCo'11, Aachen, Germany, September 2011 (Stéphanie Delaune)
-
8th International Workshop on Formal Aspects of Security and Trust FAST'11, Leuven, Belgium, September 2011 (Steve Kremer)
-
18th ACM Conference on Computer and Communications Security CCS'11, Chicago, USA, October 2011 (Stéphanie Delaune)
-
31st Conference on Foundations of Software Technology and Theoretical Computer Science FST&TCS'11, Mumbai, India, December 2011 (Stéphanie Delaune)
-
27th Symposium On Applied Computing SAC'12 (security track), Riva del Garda (Trento), Italy March, 2012 (Graham Steel)
-
16th International Conference on Foundations of Software Science and Computation Structures FoSSaCS'13, Rome, Italy, March 2013 (Jean Goubault-Larrecq).
Organization of conferences:
-
24th IEEE Computer Security Foundations Symposium CSF'11, Domaine de l'Abbaye des Vaux de Cernay, France, June 27-29, 2011 (Steve Kremer, general chair; Stéphanie Delaune, Vincent Cheval, Robert Künnemann, Graham Steel); around 90 attendees. http://csf2011.inria.fr/
-
Dagsuhl seminar 11332 Security and Rewriting, August 2011 (Hubert Comon-Lundh) http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=11332
Steering committees of conferences:
-
Computer Security Foundations Conference CSF (Graham Steel, since 2010)
-
Conference on Principles of Security and Trust POST (Steve Kremer, since 2011)
-
IEEE Computer Security Foundations Symposium CSF (Steve Kremer, since 2010)
-
Workshop on Security and Rewriting Techniques SecReT (Steve Kremer, since 2010).
Selection committees: Chaire X/CNRS (Stéphanie Delaune); LaBRI, Bordeaux (Jean Goubault-Larrecq); Paris XIII (Hubert Comon-Lundh), Marseilles (Hubert Comon-Lundh), ENS Cachan (Hubert Comon-Lundh, president).
Evaluation committees:
-
French Delegation for Armaments (DGA), security of information systems, January (Jean Goubault-Larrecq)
-
AERES evaluation, LIF, Marseilles, January (Hubert Comon-Lundh)
Scientific boards:
PhD defenses:
-
Mário S. Alvim, Formal Approaches to Information Hiding, École Polytechnique, October 12 (Stéphanie Delaune, member of the jury)
-
Mathilde Arnaud, Formal Verification of Secured Routing Protocols, ENS Cachan, December 13 (Stéphanie Delaune, PhD advisor; Jean Goubault-Larrecq, official PhD advisor)
-
Romain Bardou, Verification of Pointer Programs Using Regions and Permissions, Université Paris-Sud, October 14 (Jean Goubault-Larrecq, president of the jury)
-
Charles Bouillaguet, Etudes d’hypothèses algorithmiques et attaques de primitives cryptographiques, ENS Paris, September 2011 (Hubert Comon-Lundh, member of the jury)
-
A. Baskar, Decidability Results For Extended Dolev-Yao Theories, CMI, Chennai, India (Steve Kremer, reviewer)
-
Ştefan Ciobâcă, Automated Verification of Security Protocols with Applications to Electronic Voting, ENS Cachan, December 09 (Steve Kremer, PhD advisor; Jean Goubault-Larrecq, official PhD advisor)
-
Cezara Drăgoi, Automated Verification of Heap-Manipulating Programs on Infinite Data, University Paris 7, December 08 (Jean Goubault-Larrecq, rapporteur)
-
Nicolas Perrin, Footstep Planning for Humanoid Robots: Discrete and Continuous Approaches, Toulouse, October (Hubert Comon-Lundh, member of the jury)
-
Paul Poncet, Infinite-Dimensional Idempotent Analysis, The Role of Continuous Posets, Ecole Polytechnique, November 14 (Jean Goubault-Larrecq, member of the jury)
HDR defenses:
-
Yannick Chevalier, Logical Approach to Security in Distributed Systems, Toulouse, February (Hubert Comon-Lundh, rapporteur)
-
Stéphanie Delaune, Verification of security protocols: from confidentiality to privacy, ENS Cachan, March (Hubert Comon-Lundh, member of the jury)
-
Steve Kremer, Modelling and analyzing security protocols in cryptographic process calculi, ENS Cachan, March (Hubert Comon-Lundh, member of the jury)
-
Graham Steel, Formal Analysis of Security APIs, ENS Cachan, March (Hubert Comon-Lundh, member of the jury).
Invited talks:
-
Attacking and Fixing PKCS#11 Security Tokens, SICSA security workshop, University of Edinburgh, UK, May 24 (Graham Steel).
-
Attacking and Fixing PKCS#11 Security Tokens, Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2012), Rennes, France, June 9 (Graham Steel).
-
A Few Pearls in the Theory of Quasi-Metric Spaces, 5th Intl. Conf. Topology, Algebra, and Categories in Logic (TACL'11), Marseilles, France, July 30 (Jean Goubault-Larrecq).
-
Attacking and Fixing PKCS#11 Security Tokens, Santa's Crypto Workshop (SantaCrypt), Prague, Czech republic, December 1, (Graham Steel)
-
Cryptographic Devices: Formal Specification and Verification, Workshop on Formal Methods And Tools for Security (FMATS), Cambridge, UK, December 7 (Graham Steel)
Invitation to seminars:
-
Attacking and Fixing PKCS#11 Security Tokens, Formal Methods and Security Seminar, IRISA Rennes, France, January 7 (Graham Steel)
-
Attacking and Fixing PKCS#11 Security Tokens, Security Seminar, INRIA-Microsoft Joint Research Centre, Paris, France, January 11 (Graham Steel)
-
Formal Analysis of Security Protocols: The Case of Electronic Voting, Formal Methods seminar, Nancy, France, January 25 (Steve Kremer)
-
Model Checking Concurrent Programs with Nondeterminism and Randomization [58] , LIAFA Seminar, University Paris Diderot, Paris, February 14 (Rohit Chadha)
-
Attacking and Fixing PKCS#11 Security Tokens, Security group seminar, IMDEA, Madrid, Spain, February 22 (Graham Steel)
-
On the Expressiveness and Complexity of Randomization in Finite State Monitors [57] , University of Technology, Sydney, Australia, April 12 (Rohit Chadha)
-
On the Expressiveness and Complexity of Randomization in Finite State Monitors [57] , LaBRI seminar, Bordeaux, France, May 18 (Rohit Chadha)
-
Continuous Random Variables [38] , PPS, University Paris Diderot, May 26 (Jean Goubault-Larrecq)
-
ORCHIDS, and Bad Weeds, Formal Methods and Security seminar, IRISA, Rennes, May 27 (Jean Goubault-Larrecq)
-
ORCHIDS, and Bad Weeds, CEA LIST, Saclay, June 09 (Jean Goubault-Larrecq)
-
Formal Analysis of Protocols Based on TPM State Registers [37] , Verimag, Grenoble, France, June 23 (Stéphanie Delaune)
-
Trace Equivalence Decision: Negative Tests and Non-determinism [31] , Dagstuhl seminar on Security and Rewriting, Dagstuhl, Germany, August 17 (Stéphanie Delaune)
-
Transforming Password Protocols to Compose [32] , Dagstuhl seminar on Security and Rewriting, Dagstuhl, Germany, August 15-17 (Steve Kremer)
-
A Procedure for Verifying Equivalence-Based Properties of Cryptographic Protocols, Dagstuhl seminar on Security and Rewriting, Dagstuhl, Germany, August 15-17 (Steve Kremer)
-
Formal Analysis of Security APIs, Security lab seminar, Nokia Research Centre, Beijing, August 24 (Graham Steel)
-
Trace Equivalence Decision: Negative Tests and Non-determinism [31] , seminar of the LIENS, ENS, Paris, France, October 12 (Vincent Cheval)
-
Transforming Password Protocols to Compose [32] , University of Luxembourg, October 18 (Steve Kremer)
-
Where is my Vote? - Formal Analysis of Electronic Voting Protocols, Formal Methods and Security seminar, IRISA, Rennes, November 18 (Steve Kremer)
-
Trace Equivalence Decision: Negative Tests and Non-determinism [31] , Formal Methods seminar, Nancy, France, November 15 (Vincent Cheval)
-
Analysing Security Protocols Using Process Algebra, PPS, University Paris Diderot, November 17 (Stéphanie Delaune)
-
Automated Verification of Cryptographic Protocols [48] , IIT Kanpur, India, December 06 (Rohit Chadha).
Popularization talks:
-
Big Brother Won't Watch Us, séminaire Unithé ou Café?, Parc Orsay Université, November 4 (Stéphanie Delaune)
-
Les protocoles cryptographiques: comment sécuriser nos communications ?, atelier, Journées Nationales de l'APMEP, Grenoble, France, October 23 (Stéphanie Delaune)
Visits: