Publications

 

• No publications in 2020
• Charguéraud, Arthur and Schmitt, Alan and Wood, Thomas: JSExplain: A Double Debugger for JavaScript The Web Conference 2018 : 2018
• Cabon, Gurvan and Schmitt, Alan: Annotated multisemantics to prove Non-Interference analyses PLAS 2017 – ACM SIGSAC Workshop on Programming Languages and Analysis for Security : 2017
• Cabon, Gurvan and Schmitt, Alan: Non-Interference through Annotated Multisemantics 28ièmes Journées Francophones des Langages Applicatifs : 2017
• Subramanian, Deepak and Hiet, Guillaume and Bidan, Christophe: A self-correcting information flow control model for the web-browser FPS 2016 – The 9th International Symposium on Foundations & Practice of Security : 2016
• Subramanian, Deepak and Hiet, Guillaume and Bidan, Christophe: Preventive Information Flow Control through a Mechanism of Split Addresses 9th International Conference on Security of Information and Networks (SIN 2016) : 2016
• De Groef, Willem and Subramanian, Deepak and Martin, Johns and Piessens, Frank and Lieven, Desmet: Ensuring Endpoint Authenticity in WebRTC Peer-to-Peer Communication 31st Annual ACM Symposium on Applied Computing (SAC 2016) : 2016
• Bodin, Martin and Jensen, Thomas and Schmitt, Alan: An Abstract Separation Logic for Interlinked Extensible Records Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016) : 2016
• Frédéric Besson, Nataliia Bielova, Thomas Jensen: Hybrid Monitoring of Attacker Knowledge 29th IEEE Computer Security Foundations Symposium : 2016
• Martin Bodin: Certified Semantics and Analysis of JavaScript Université Rennes 1 / Université Bretagne Loire, novembre 2016 : 2016
• Marchand De Kerchove De Denterghem, Florent: Extending interpreters by diverting, or how to extend interpreters without modifying their source code Ecole des Mines de Nantes : 2016
• Marchand de Kerchove, Florent and Noyé, Jacques and Südholt, Mario: Extensible Modules for JavaScript 31st Annual ACM Symposium on Applied Computing (SAC ’16) : 2016
• Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt: Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation : 2015
• Martin Bodin, Thomas Jensen, and Alan Schmitt.: Certified Abstract Interpretation with Pretty-Big-Step Semantics. In Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP ’15 : 2015
• Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt: Towards Modular Instrumentation of Interpreters in JavaScript FOAL – Foundations of Aspect-Oriented Languages : 2015
• Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith: A Trusted Mechanised JavaScript Specification POPL’14 : 2014
• Deepak Subramanian , Guillaume Hiet , Christophe Bidan: Preventive information flow control through a mechanism of split addresses : 2014
• Martin Bodin, Thomas Jensen, Alan Schmitt: Pretty-big-step-semantics-based Certified Abstract Interpretation JFLA – 25ème Journées Francophones des Langages Applicatifs – 2014, Jan 2014, Fréjus, France : 2014
• Frédéric Besson, Nataliia Bielova, Thomas Jensen: Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach Nordic Conference on Secure IT Systems (NordSec 2014) : 2014
• Martin Bodin, Alan Schmitt: A Certified JavaScript Interpreter JFLA : 2013
• Frédéric Besson, Nataliia Bielova, Thomas Jensen: Hybrid Information Flow Monitoring Against Web Tracking CSF – 2013 IEEE 26th Computer Security Foundations Symposium : 2013
• Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt: Aspectizing JavaScript Security MISS – 3rd Workshop on Modularity In Systems Software : 2013