Upcoming talks
- 2017/01. Hypercollecting Semantics and its Application to Static Analysis of Information flow. ACM Symposium on Principles of Programming Language.
- 2016/11. Hypercollecting Semantics and its Application to Static Analysis of Information flow. LSL Seminar, CEA Saclay.
- 2016/11. Calculational Design of Information Flow Monitors. SoSySec seminar, Inria Rennes.
- 2016/11. Calculational Design of Information Flow Monitors. Vals seminar, LRI, Université Paris-Sud.
- 2016/11. Hypercollecting Semantics and its Application to Static Analysis of Information flow. Seminar of Antique team, ENS Paris.
Previous talks
- 2016/09. Hypercollecting Semantics and its Application to Static Analysis of Information flow. ACSys seminar, New York University.
- 2016/08. Calculational Design of Information Flow Monitors. Programming Languages seminar, Cornell University.
- 2016/06. Calculational Design of Information Flow Monitors. IEEE Computer Security Foundations Symposium.
- 2016/06. The Cardinal Abstraction for Quantitative Information Flow. Workshop on Foundations of Computer Security.
- 2016/06. From Qualitative to Quantitative Program Analysis : Permissive Enforcement of Secure Information Flow. Journées Nationales GDR GPL.
- 2016/05. Calculational Design of Information Flow Monitors. NJ Programming Languages and Systems Seminar.
- 2015/10. Enforceable Security Properties?. Internal meeting, Stevens Institute of Technology.
- 2015/10. Program Transformation for Non-interference Verification on Programs with Pointers. LSS seminar, Stevens Institute of Technology.
- 2015/07. Relative Secrecy: A Quantitative Security Property against Polynomial Attackers, 5 minutes talk at IEEE Computer Security Foundations Symposium.
- 2015/05. From Qualitative to Quantitative Program Analysis : Permissive Enforcement of Secure Information Flow. Phd Defense, Université de Rennes 1.
- 2015/01. A Gentle Introduction to Analytic Combinatorics. Seminar of CIDre team, Supélec Rennes.
- 2014/07. Abstractions for Quantitative Information Flow. Digicosme Research Day, Université Paris-Sud.
- 2014/07. Abstractions for Quantitative Information Flow. Journée des thèses, LIST, CEA Saclay.
- 2014/05. From Qualitative to Quantitative Information Flow. Seminar of CIDre team, Supélec Rennes.
- 2013/12. Abstractions for Quantitative Information Flow Against Time-Bounded Attackers. Seminar of Celtique team, Inria.
- 2013/11. Program Transformation for Non-interference Verification on Programs with Pointers. Journées Langages, Types et Preuves, GDR GPL, Université Bordeaux 1.
- 2013/07. Non-interference Verification on Programs with Pointers. Student talks at Oregon Programming Languages Summer School.
- 2013/07. Program Transformation for Non-interference Verification on Programs with Pointers. IFIP SEC conference, University of Auckland.
- 2013/06. Verification of Security Properties by Static Analysis of C Programs. Journée des Thèses, LIST, CEA Saclay.
- 2012/11. Information Flow for Programs Handling Pointers. Seminar of Proval team, LRI, Université Paris-Sud.
- 2012/06. Security Analysis of Programs Handling Pointers, Seminar of LSL, CEA Saclay.
- 2011/08. Utilisation de méthodes hybrides pour la détection d’intrusion paramétrée par la politique de sécurité reposant sur le suivi des flux d’information, LSL, CEA Saclay.