Filtrer vos résultats
- 12
- 7
- 13
- 4
- 1
- 1
- 1
- 19
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 2
- 3
- 17
- 2
- 9
- 6
- 6
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 6
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
19 résultats
|
|
triés par
|
|
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. ⟨10.14279/tuj.eceasst.76.1080⟩
Communication dans un congrès
hal-01816830v2
|
||
|
Complexity and Expressiveness of ShEx for RDF18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. ⟨10.4230/LIPIcs.ICDT.2015.195⟩
Communication dans un congrès
hal-01218552v1
|
||
On-Device Control Flow Verification for Java ProgramsInternational Symposium on Engineering Secure Software and Systems (ESSoS 2011), Feb 2011, Madrid, Spain. pp.43--57
Communication dans un congrès
inria-00562611v1
|
|||
|
End-to-end Mechanized Proof of an eBPF Virtual Machine for Micro-controllersCAV 2022 - 34th International Conference on Computer Aided Verification, Aug 2022, Haifa, Israel. pp.1-23
Communication dans un congrès
hal-03888082v1
|
||
|
A Stackless Runtime Environment for a Pi-calculusVEE 2006 - Second International Conference on Virtual Execution Environments, Jun 2006, Ottawa, Canada. pp.57 - 67, ⟨10.1145/1134760.1134770⟩
Communication dans un congrès
hal-00140653v1
|
||
|
Formal Proof of Dynamic Memory Isolation Based on MMU10th International Symposium on Theoretical Aspects of Software Engineering, Jul 2016, Shanghai, China. pp.73-80, ⟨10.1109/TASE.2016.28⟩
Communication dans un congrès
hal-01369769v1
|
||
|
Summary-based inference of quantitative bounds of live heap objectsScience of Computer Programming, 2014, 92, pp.56-84. ⟨10.1016/j.scico.2013.11.036⟩
Article dans une revue
hal-01196949v1
|
||
|
Verifiable Control Flow Policies for Java BytecodeFormal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Sep 2011, Leuven, Belgium. pp.115-130, ⟨10.1007/978-3-642-29420-4⟩
Communication dans un congrès
hal-00877166v1
|
||
|
Mobility control via passportsInformation and Computation, 2009, 207 (2), pp.171-193. ⟨10.1016/j.ic.2007.11.011⟩
Article dans une revue
hal-00140527v1
|
||
|
Typage et contrôle de la mobilitéAutre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français. ⟨NNT : ⟩
Thèse
tel-00140652v1
|
||
Formal proof of polynomial-time complexity with quasi-interpretations7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Jan 2018, Los Angeles, United States. ⟨10.1145/3167097⟩
Communication dans un congrès
hal-01712390v1
|
|||
|
On the Proof-Oriented Design of a Context-Switching Service in the Pip ProtokernelENTROPY 2019, Jun 2019, Stockholm, Sweden
Communication dans un congrès
hal-02347481v1
|
||
|
Adding recursion to Dpi (Extended abstract)May 2006, pp.115-133, ⟨10.1016/j.entcs.2005.09.029⟩
Communication dans un congrès
hal-00140655v1
|
||
|
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⟩
Communication dans un congrès
hal-00425188v1
|
||
Adding recursion to DpiTheoretical Computer Science, 2007, 373 (3), pp.182--212. ⟨10.1016/j.tcs.2006.12.017⟩
Article dans une revue
istex
hal-00140654v1
|
|||
|
Lightweight verification of control flow policies on Java bytecode[Research Report] RR-7584, INRIA. 2011, pp.22
Rapport
inria-00580923v1
|
||
|
Formal proof of dynamic memory isolation based on MMUScience of Computer Programming, 2018, 162, pp.76-92. ⟨10.1016/j.scico.2017.06.012⟩
Article dans une revue
hal-01712347v1
|
||
|
Encapsulation and Dynamic Modularity in the Pi-CalculusPLACES 2008, 2008, Oslo, Norway. pp.85 - 100, ⟨10.1016/j.entcs.2009.06.005⟩
Communication dans un congrès
hal-00400159v1
|
||
|
La conception d'un noyau orientée par sa preuve d'isolation mémoireCompas 2018, Jul 2018, Toulouse, France
Communication dans un congrès
hal-01819955v1
|