{"id":65,"date":"2019-06-19T16:28:23","date_gmt":"2019-06-19T14:28:23","guid":{"rendered":"https:\/\/project.inria.fr\/seccloud\/?page_id=65"},"modified":"2021-01-29T11:08:59","modified_gmt":"2021-01-29T10:08:59","slug":"publications","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/seccloud\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<p>&nbsp;<\/p>\n<ul>\n<li id=\"aui_3_4_0_1_311\">No publications in 2020<\/li>\n<li><label id=\"aui_3_4_0_1_310\">Chargu\u00e9raud, Arthur and Schmitt, Alan and Wood, Thomas: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-01745792\"> JSExplain: A Double Debugger for JavaScript <\/a> <label> The Web Conference 2018 <\/label> <label> : 2018 <\/label><\/li>\n<li><label> Cabon, Gurvan and Schmitt, Alan: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-01656404\"> Annotated multisemantics to prove Non-Interference analyses <\/a> <label> PLAS 2017 &#8211; ACM SIGSAC Workshop on Programming Languages and Analysis for Security <\/label> <label> : 2017 <\/label><\/li>\n<li><label> Cabon, Gurvan and Schmitt, Alan: <\/label> <a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01503094\"> Non-Interference through Annotated Multisemantics <\/a> <label> 28i\u00e8<\/label><label>mes Journ\u00e9es Francophones des Langages Applicatifs <\/label> <label> : 2017 <\/label><\/li>\n<li><label> Subramanian, Deepak and Hiet, Guillaume and Bidan, Christophe: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-01398192\"> A self-correcting information flow control model for the web-browser <\/a> <label> FPS 2016 &#8211; The 9th International Symposium on Foundations &amp; Practice of Security <\/label> <label> : 2016 <\/label><\/li>\n<li><label> Subramanian, Deepak and Hiet, Guillaume and Bidan, Christophe: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-01344565\"> Preventive Information Flow Control through a Mechanism of Split Addresses <\/a> <label> 9th International Conference on Security of Information and Networks (SIN 2016) <\/label> <label> : 2016 <\/label><\/li>\n<li><label> De Groef, Willem and Subramanian, Deepak and Martin, Johns and Piessens, Frank and Lieven, Desmet: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-01344572\"> Ensuring Endpoint Authenticity in WebRTC Peer-to-Peer Communication <\/a> <label> 31st Annual ACM Symposium on Applied Computing (SAC 2016) <\/label> <label> : 2016 <\/label><\/li>\n<li><label> Bodin, Martin and Jensen, Thomas and Schmitt, Alan: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-01333600\"> An Abstract Separation Logic for Interlinked Extensible Records <\/a> <label> Vingt-septi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2016) <\/label> <label> : 2016 <\/label><\/li>\n<li><label> Fr\u00e9d\u00e9ric Besson, Nataliia Bielova, Thomas Jensen: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-01310572\"> Hybrid Monitoring of Attacker Knowledge <\/a> <label> 29th IEEE Computer Security Foundations Symposium <\/label> <label> : 2016 <\/label><\/li>\n<li><label> Martin Bodin: <\/label> <a href=\"http:\/\/people.irisa.fr\/Martin.Bodin\/doktorigxo\/companion.html\"> Certified Semantics and Analysis of JavaScript <\/a> <label> Universit\u00e9 Rennes 1 \/ Universit\u00e9 Bretagne Loire, novembre 2016 <\/label> <label> : 2016 <\/label><\/li>\n<li><label> Marchand De Kerchove De Denterghem, Florent: <\/label> <a href=\"https:\/\/tel.archives-ouvertes.fr\/tel-01415588\"> Extending interpreters by diverting, or how to extend interpreters without modifying their source code <\/a> <label> Ecole des Mines de Nantes <\/label> <label> : 2016 <\/label><\/li>\n<li><label> Marchand de Kerchove, Florent and Noy\u00e9, Jacques and S\u00fcdholt, Mario: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-01407340\"> Extensible Modules for JavaScript <\/a> <label> 31st Annual ACM Symposium on Applied Computing (SAC &#8217;16) <\/label> <label> : 2016 <\/label><\/li>\n<li><label> Florent Marchand de Kerchove, Jacques Noy\u00e9, Mario S\u00fcdholt: <\/label> <a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01181143v2\"> Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation <\/a> <label> : 2015 <\/label><\/li>\n<li><label> Martin Bodin, Thomas Jensen, and Alan Schmitt.: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-01111588\"> Certified Abstract Interpretation with Pretty-Big-Step Semantics. <\/a> <label> In Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP &#8217;15 <\/label> <label> : 2015 <\/label><\/li>\n<li><label> Florent Marchand de Kerchove, Jacques Noy\u00e9, Mario S\u00fcdholt: <\/label> <a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-01116662\"> Towards Modular Instrumentation of Interpreters in JavaScript <\/a> <label> FOAL &#8211; Foundations of Aspect-Oriented Languages <\/label> <label> : 2015 <\/label><\/li>\n<li><label> Martin Bodin, Arthur Chargu\u00e9raud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith: <\/label> <a href=\"http:\/\/hal.inria.fr\/hal-00910135\"> A Trusted Mechanised JavaScript Specification <\/a> <label> POPL&#8217;14 <\/label> <label> : 2014 <\/label><\/li>\n<li><label> Deepak Subramanian , Guillaume Hiet , Christophe Bidan: <\/label> <strong>Preventive information flow control through a mechanism of split addresses<\/strong> <label> : 2014 <\/label><\/li>\n<li><label> Martin Bodin, Thomas Jensen, Alan Schmitt: <\/label> <a href=\"http:\/\/hal.inria.fr\/hal-00927400\"> Pretty-big-step-semantics-based Certified Abstract Interpretation <\/a> <label> JFLA &#8211; 25\u00e8me Journ\u00e9es Francophones des Langages Applicatifs &#8211; 2014, Jan 2014, Fr\u00e9jus, France <\/label> <label> : 2014 <\/label><\/li>\n<li><label> Fr\u00e9d\u00e9ric Besson, Nataliia Bielova, Thomas Jensen: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-01081037\"> Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach <\/a> <label> Nordic Conference on Secure IT Systems (NordSec 2014) <\/label> <label> : 2014 <\/label><\/li>\n<li><label> Martin Bodin, Alan Schmitt: <\/label> <a href=\"http:\/\/hal.inria.fr\/hal-00779459\"> A Certified JavaScript Interpreter <\/a> <label> JFLA <\/label> <label> : 2013 <\/label><\/li>\n<li><label> Fr\u00e9d\u00e9ric Besson, Nataliia Bielova, Thomas Jensen: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-00924138\"> Hybrid Information Flow Monitoring Against Web Tracking <\/a> <label> CSF &#8211; 2013 IEEE 26th Computer Security Foundations Symposium <\/label> <label> : 2013 <\/label><\/li>\n<li><label> Florent Marchand de Kerchove, Jacques Noy\u00e9, Mario S\u00fcdholt: <\/label> <a href=\"https:\/\/hal.inria.fr\/hal-00786258\"> Aspectizing JavaScript Security <\/a> <label> MISS &#8211; 3rd Workshop on Modularity In Systems Software <\/label> <label> : 2013 <\/label><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp; No publications in 2020 Chargu\u00e9raud, Arthur and Schmitt, Alan and Wood, Thomas: JSExplain: A Double Debugger for JavaScript The Web Conference 2018 : 2018\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/seccloud\/publications\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1611,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-65","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/seccloud\/wp-json\/wp\/v2\/pages\/65","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/seccloud\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/seccloud\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/seccloud\/wp-json\/wp\/v2\/users\/1611"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/seccloud\/wp-json\/wp\/v2\/comments?post=65"}],"version-history":[{"count":3,"href":"https:\/\/project.inria.fr\/seccloud\/wp-json\/wp\/v2\/pages\/65\/revisions"}],"predecessor-version":[{"id":109,"href":"https:\/\/project.inria.fr\/seccloud\/wp-json\/wp\/v2\/pages\/65\/revisions\/109"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/seccloud\/wp-json\/wp\/v2\/media?parent=65"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}