no image

Samuel Hym

Maître de conférences

Publications

Article dans des revues

Communication dans un congrè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. ⟨hal-02347481⟩
  • 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. ⟨10.14279/tuj.eceasst.76.1080⟩. ⟨hal-01816830v2⟩
  • 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. ⟨hal-01819955⟩
  • 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. ⟨10.1145/3167097⟩. ⟨hal-01712390⟩
  • 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. ⟨10.4230/LIPIcs.ICDT.2015.195⟩. ⟨hal-01218552⟩
  • 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, ⟨10.1007/978-3-642-29420-4⟩. ⟨hal-00877166⟩
  • 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. ⟨inria-00562611⟩
  • 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, ⟨10.1016/j.entcs.2009.06.005⟩. ⟨hal-00400159⟩
  • Samuel Hym. Mobility control via passports (Extended abstract). 18th International Conference on Concurrency Theory, Sep 2007, Lisbon, Portugal. pp.349--363, ⟨10.1007/978-3-540-74407-8_24⟩. ⟨hal-00425188⟩
  • 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, ⟨10.1145/1134760.1134770⟩. ⟨hal-00140653⟩
  • Samuel Hym, Matthew Hennessy. Adding recursion to Dpi (Extended abstract). May 2006, pp.115-133, ⟨10.1016/j.entcs.2005.09.029⟩. ⟨hal-00140655⟩

Rapport

  • Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl. Lightweight verification of control flow policies on Java bytecode. [Research Report] RR-7584, INRIA. 2011, pp.22. ⟨inria-00580923⟩

Thèse

  • Samuel Hym. Typage et contrôle de la mobilité. Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français. ⟨tel-00140652⟩