Section: Dissemination
Promoting Scientific Activities
Scientific Events Selection
Chair of Conference Program Committees
-
CoqPL 2017 (International Workshop on Coq for PL) was chaired by Sandrine Blazy and Emilio Jesus Gallego Arias
Member of the Conference Program Committees
-
TASE 2017 (Symposium on Theoretical Aspects of Software Engineering): Alan Schmitt
-
CC 2017 (Conference on Compiler Construction) : David Pichardie
-
ESORICS 2017 (European Symposium on Research in Computer Security) : David Pichardie
-
ESOP 2017 (European Symposium on Programming) : David Pichardie
-
CC 2018 (Conference on Compiler Construction) : David Pichardie
-
CoqPL 2017 (International Workshop on Coq for PL) : Sandrine Blazy
-
AFADL 2017 (Approches Formelles dans l'Assistance au Développement de Logiciels) : Sandrine Blazy
-
SRC (Student Research Competition) @ PLDI 2017 : Sandrine Blazy
-
VSTTE 2017 (Verified Software: Theories, Tools, and Experiments) : Sandrine Blazy
-
GPCE 2017 (Generative Programming: Concepts & Experiences) : Sandrine Blazy
-
IFL 2017 (International symposium on Implementation and application of Functional Languages) : Sandrine Blazy
-
TFP 2017 (Trends in Functional Programming) : Sandrine Blazy
-
CPP 2018 (ACM SIGPLAN Conference on Certified Programs and Proofs) : Sandrine Blazy
-
Euro S&P 2018 (IEEE European Symposium on Security and Privacy) : Sandrine Blazy
-
TACAS 2017 (Tools and Algorithms for the Construction and Analysis of Software : Thomas Jensen.
-
FCS 2017 (Int. workshop on Foundations of Computer Security) : Thomas Jensen.
Reviewer
Journal
Reviewer - Reviewing Activities
-
Journal of Logical and Algebraic Methods in Programming: Alan Schmitt
-
ACM Transactions on Privacy and Security (TOPS): David Pichardie
Invited Talks
-
Delphine Demange: "On-the-Fly Garbage Collection: An Exercise in Compiler Verification". Inria Scientific Days 2017. June 2017.
-
Thomas Genet: "SPAN+AVISPA for Verifying Cryptographic Protocols". RESSI (Rendez-vous de la recherche et de l'enseignement de la sécurité des systèmes d'information), Grenoble, May 2017 [42].
-
Thomas Genet: "Tree Automata for Reachability in Rewriting". International School on Rewriting, Eindhoven, July 2017. http://www.win.tue.nl/~hzantema/isr.html.
-
Thomas Jensen: Formal methods for software security, Forum Méthodes Formelles, Toulouse, France, Jan. 2017 [21].
-
Thomas Jensen: Formal methods for software security, Journée inaugurale GDR Sécurité Informatique, Paris, June 2017 [22].
-
Thomas Jensen. Hybrid information flow analysis against web tracking.. The 12th International Conference on Risks and Security of Internet and Systems (CRiSIS 2017), Dinard, France, Sept. 2017 [23].
Scientific Expertise
-
Sandrine Blazy: expertise of an ERC Advanced Grant research proposal.
-
Thomas Jensen is Inria representative in the European Cyber Security Organisation (ECSO) working group in Research and Innovation.
Research Administration
-
Sandrine Blazy is member of Section 6 of the national committee for scientific research CoNRS.
-
Sandrine Blazy is coordinator of the LTP (Languages, Types, Proofs) group of the French GDR GPL.
-
Thomas Jensen is head of the NUMERIC department at Université Bretagne Loire.
-
Thomas Jensen is director of the IT Security track and member of the executive board of the Laboratoire d'excellence “CominLabs”.