Publications

{ "response":{ "numFound":19, "start":0, "numFoundExact":true, "docs":[{ "citationRef_s":"CAV 2022 - 34th International Conference on Computer Aided Verification, Aug 2022, Haifa, Israel. pp.1-23", "citationFull_s":"Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, et al.. End-to-end Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. CAV 2022 - 34th International Conference on Computer Aided Verification, Aug 2022, Haifa, Israel. pp.1-23. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03888082v1\">⟨hal-03888082⟩</a>", "title_s":["End-to-end Mechanized Proof of an eBPF Virtual Machine for Micro-controllers"], "authFullName_s":["Shenghao Yuan","Frédéric Besson","Jean-Pierre Talpin","Samuel Hym","Koen Zandberg","Emmanuel Baccelli"], "halId_s":"hal-03888082", "docType_s":"COMM", "producedDateY_i":2022 },{ "citationRef_s":"ENTROPY 2019, Jun 2019, Stockholm, Sweden", "citationFull_s":"Florian Vanhems, Narjes Jomaa, Samuel Hym, David Nowak. On the Proof-Oriented Design of a Context-Switching Service in the Pip Protokernel. ENTROPY 2019, Jun 2019, Stockholm, Sweden. <a target=\"_blank\" href=\"https://hal.science/hal-02347481v1\">⟨hal-02347481⟩</a>", "title_s":["On the Proof-Oriented Design of a Context-Switching Service in the Pip Protokernel","Sur la conception d'un service de changement de contexte et de sa preuve dans le proto-noyau Pip"], "authFullName_s":["Florian Vanhems","Narjes Jomaa","Samuel Hym","David Nowak"], "halId_s":"hal-02347481", "docType_s":"COMM", "producedDateY_i":2019 },{ "citationRef_s":"Science of Computer Programming, 2018, 162, pp.76-92. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.scico.2017.06.012\">⟨10.1016/j.scico.2017.06.012⟩</a>", "citationFull_s":"Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym. Formal proof of dynamic memory isolation based on MMU. Science of Computer Programming, 2018, 162, pp.76-92. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.scico.2017.06.012\">⟨10.1016/j.scico.2017.06.012⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01712347v1\">⟨hal-01712347⟩</a>", "title_s":["Formal proof of dynamic memory isolation based on MMU"], "authFullName_s":["Narjes Jomaa","David Nowak","Gilles Grimaud","Samuel Hym"], "halId_s":"hal-01712347", "docType_s":"ART", "producedDateY_i":2018 },{ "citationRef_s":"18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. <a target=\"_blank\" href=\"https://dx.doi.org/10.14279/tuj.eceasst.76.1080\">⟨10.14279/tuj.eceasst.76.1080⟩</a>", "citationFull_s":"Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym. Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. <a target=\"_blank\" href=\"https://dx.doi.org/10.14279/tuj.eceasst.76.1080\">⟨10.14279/tuj.eceasst.76.1080⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01816830v2\">⟨hal-01816830v2⟩</a>", "title_s":["Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base"], "authFullName_s":["Narjes Jomaa","Paolo Torrini","David Nowak","Gilles Grimaud","Samuel Hym"], "halId_s":"hal-01816830", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"Compas 2018, Jul 2018, Toulouse, France", "citationFull_s":"Narjes Jomaa, Samuel Hym, David Nowak. La conception d'un noyau orientée par sa preuve d'isolation mémoire. Compas 2018, Jul 2018, Toulouse, France. <a target=\"_blank\" href=\"https://hal.science/hal-01819955v1\">⟨hal-01819955⟩</a>", "title_s":["La conception d'un noyau orientée par sa preuve d'isolation mémoire"], "authFullName_s":["Narjes Jomaa","Samuel Hym","David Nowak"], "halId_s":"hal-01819955", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Jan 2018, Los Angeles, United States. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3167097\">⟨10.1145/3167097⟩</a>", "citationFull_s":"Hugo Férée, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak. Formal proof of polynomial-time complexity with quasi-interpretations. 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Jan 2018, Los Angeles, United States. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3167097\">⟨10.1145/3167097⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01712390v1\">⟨hal-01712390⟩</a>", "title_s":["Formal proof of polynomial-time complexity with quasi-interpretations"], "authFullName_s":["Hugo Férée","Samuel Hym","Micaela Mayero","Jean-Yves Moyen","David Nowak"], "halId_s":"hal-01712390", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"10th International Symposium on Theoretical Aspects of Software Engineering, Jul 2016, Shanghai, China. pp.73-80, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TASE.2016.28\">⟨10.1109/TASE.2016.28⟩</a>", "citationFull_s":"Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym. Formal Proof of Dynamic Memory Isolation Based on MMU. 10th International Symposium on Theoretical Aspects of Software Engineering, Jul 2016, Shanghai, China. pp.73-80, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TASE.2016.28\">⟨10.1109/TASE.2016.28⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01369769v1\">⟨hal-01369769⟩</a>", "title_s":["Formal Proof of Dynamic Memory Isolation Based on MMU"], "authFullName_s":["Narjes Jomaa","David Nowak","Gilles Grimaud","Samuel Hym"], "halId_s":"hal-01369769", "docType_s":"COMM", "producedDateY_i":2016 },{ "citationRef_s":"18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/LIPIcs.ICDT.2015.195\">⟨10.4230/LIPIcs.ICDT.2015.195⟩</a>", "citationFull_s":"Slawomir Staworko, Iovka Boneva, Jose Emilio Labra Gayo, Samuel Hym, Eric Gordon Prud'Hommeaux, et al.. Complexity and Expressiveness of ShEx for RDF. 18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/LIPIcs.ICDT.2015.195\">⟨10.4230/LIPIcs.ICDT.2015.195⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01218552v1\">⟨hal-01218552⟩</a>", "title_s":["Complexity and Expressiveness of ShEx for RDF"], "authFullName_s":["Slawomir Staworko","Iovka Boneva","Jose Emilio Labra Gayo","Samuel Hym","Eric Gordon Prud'Hommeaux","Harold Solbrig"], "halId_s":"hal-01218552", "docType_s":"COMM", "producedDateY_i":2015 },{ "citationRef_s":"Science of Computer Programming, 2014, 92, pp.56-84. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.scico.2013.11.036\">⟨10.1016/j.scico.2013.11.036⟩</a>", "citationFull_s":"Víctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine. Summary-based inference of quantitative bounds of live heap objects. Science of Computer Programming, 2014, 92, pp.56-84. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.scico.2013.11.036\">⟨10.1016/j.scico.2013.11.036⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01196949v1\">⟨hal-01196949⟩</a>", "title_s":["Summary-based inference of quantitative bounds of live heap objects"], "authFullName_s":["Víctor Braberman","Diego Garbervetsky","Samuel Hym","Sergio Yovine"], "halId_s":"hal-01196949", "docType_s":"ART", "producedDateY_i":2014 },{ "citationRef_s":"Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Sep 2011, Leuven, Belgium. pp.115-130, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-642-29420-4\">⟨10.1007/978-3-642-29420-4⟩</a>", "citationFull_s":"Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl. Verifiable Control Flow Policies for Java Bytecode. Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Sep 2011, Leuven, Belgium. pp.115-130, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-642-29420-4\">⟨10.1007/978-3-642-29420-4⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-00877166v1\">⟨hal-00877166⟩</a>", "title_s":["Verifiable Control Flow Policies for Java Bytecode"], "authFullName_s":["Arnaud Fontaine","Samuel Hym","Isabelle Simplot-Ryl"], "halId_s":"hal-00877166", "docType_s":"COMM", "producedDateY_i":2011 },{ "citationRef_s":"[Research Report] RR-7584, INRIA. 2011, pp.22", "citationFull_s":"Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl. Lightweight verification of control flow policies on Java bytecode. [Research Report] RR-7584, INRIA. 2011, pp.22. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00580923v1\">⟨inria-00580923⟩</a>", "title_s":["Lightweight verification of control flow policies on Java bytecode"], "authFullName_s":["Arnaud Fontaine","Samuel Hym","Isabelle Simplot-Ryl"], "halId_s":"inria-00580923", "docType_s":"REPORT", "producedDateY_i":2011 },{ "citationRef_s":"International Symposium on Engineering Secure Software and Systems (ESSoS 2011), Feb 2011, Madrid, Spain. pp.43--57", "citationFull_s":"Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl. On-Device Control Flow Verification for Java Programs. International Symposium on Engineering Secure Software and Systems (ESSoS 2011), Feb 2011, Madrid, Spain. pp.43--57. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00562611v1\">⟨inria-00562611⟩</a>", "title_s":["On-Device Control Flow Verification for Java Programs"], "authFullName_s":["Arnaud Fontaine","Samuel Hym","Isabelle Simplot-Ryl"], "halId_s":"inria-00562611", "docType_s":"COMM", "producedDateY_i":2011 },{ "citationRef_s":"Information and Computation, 2009, 207 (2), pp.171-193. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.ic.2007.11.011\">⟨10.1016/j.ic.2007.11.011⟩</a>", "citationFull_s":"Samuel Hym. Mobility control via passports. Information and Computation, 2009, 207 (2), pp.171-193. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.ic.2007.11.011\">⟨10.1016/j.ic.2007.11.011⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00140527v1\">⟨hal-00140527⟩</a>", "title_s":["Mobility control via passports"], "authFullName_s":["Samuel Hym"], "halId_s":"hal-00140527", "docType_s":"ART", "producedDateY_i":2009 },{ "citationRef_s":"PLACES 2008, 2008, Oslo, Norway. pp.85 - 100, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.entcs.2009.06.005\">⟨10.1016/j.entcs.2009.06.005⟩</a>", "citationFull_s":"Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous. Encapsulation and Dynamic Modularity in the Pi-Calculus. PLACES 2008, 2008, Oslo, Norway. pp.85 - 100, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.entcs.2009.06.005\">⟨10.1016/j.entcs.2009.06.005⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00400159v1\">⟨hal-00400159⟩</a>", "title_s":["Encapsulation and Dynamic Modularity in the Pi-Calculus"], "authFullName_s":["Daniel Hirschkoff","Aurélien Pardon","Tom Hirschowitz","Samuel Hym","Damien Pous"], "halId_s":"hal-00400159", "docType_s":"COMM", "producedDateY_i":2008 },{ "citationRef_s":"18th International Conference on Concurrency Theory, Sep 2007, Lisbon, Portugal. pp.349--363, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-540-74407-8_24\">⟨10.1007/978-3-540-74407-8_24⟩</a>", "citationFull_s":"Samuel Hym. Mobility control via passports (Extended abstract). 18th International Conference on Concurrency Theory, Sep 2007, Lisbon, Portugal. pp.349--363, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-540-74407-8_24\">⟨10.1007/978-3-540-74407-8_24⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00425188v1\">⟨hal-00425188⟩</a>", "title_s":["Mobility control via passports (Extended abstract)"], "authFullName_s":["Samuel Hym"], "halId_s":"hal-00425188", "docType_s":"COMM", "producedDateY_i":2007 },{ "citationRef_s":"Theoretical Computer Science, 2007, 373 (3), pp.182--212. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.tcs.2006.12.017\">⟨10.1016/j.tcs.2006.12.017⟩</a>", "citationFull_s":"Samuel Hym, Matthew Hennessy. Adding recursion to Dpi. Theoretical Computer Science, 2007, 373 (3), pp.182--212. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.tcs.2006.12.017\">⟨10.1016/j.tcs.2006.12.017⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00140654v1\">⟨hal-00140654⟩</a>", "title_s":["Adding recursion to Dpi"], "authFullName_s":["Samuel Hym","Matthew Hennessy"], "halId_s":"hal-00140654", "docType_s":"ART", "producedDateY_i":2007 },{ "citationRef_s":"Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français. <a target=\"_blank\" href=\"https://www.theses.fr/\">⟨NNT : ⟩</a>", "citationFull_s":"Samuel Hym. Typage et contrôle de la mobilité. Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français. <a target=\"_blank\" href=\"https://www.theses.fr/\">⟨NNT : ⟩</a>. <a target=\"_blank\" href=\"https://theses.hal.science/tel-00140652v1\">⟨tel-00140652⟩</a>", "title_s":["Typage et contrôle de la mobilité","Typing and control of mobility"], "authFullName_s":["Samuel Hym"], "halId_s":"tel-00140652", "docType_s":"THESE", "producedDateY_i":2006 },{ "citationRef_s":"VEE 2006 - Second International Conference on Virtual Execution Environments, Jun 2006, Ottawa, Canada. pp.57 - 67, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/1134760.1134770\">⟨10.1145/1134760.1134770⟩</a>", "citationFull_s":"Frédéric Peschanski, Samuel Hym. A Stackless Runtime Environment for a Pi-calculus. VEE 2006 - Second International Conference on Virtual Execution Environments, Jun 2006, Ottawa, Canada. pp.57 - 67, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/1134760.1134770\">⟨10.1145/1134760.1134770⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00140653v1\">⟨hal-00140653⟩</a>", "title_s":["A Stackless Runtime Environment for a Pi-calculus"], "authFullName_s":["Frédéric Peschanski","Samuel Hym"], "halId_s":"hal-00140653", "docType_s":"COMM", "producedDateY_i":2006 },{ "citationRef_s":"May 2006, pp.115-133, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.entcs.2005.09.029\">⟨10.1016/j.entcs.2005.09.029⟩</a>", "citationFull_s":"Samuel Hym, Matthew Hennessy. Adding recursion to Dpi (Extended abstract). May 2006, pp.115-133, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.entcs.2005.09.029\">⟨10.1016/j.entcs.2005.09.029⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00140655v1\">⟨hal-00140655⟩</a>", "title_s":["Adding recursion to Dpi (Extended abstract)"], "authFullName_s":["Samuel Hym","Matthew Hennessy"], "halId_s":"hal-00140655", "docType_s":"COMM", "producedDateY_i":2006 }] } }

Rechercher

Paramétrage

Thèmes

Accessibilité

Samuel Hym