E-LIB Suche - Ergebnisse für: Besson, Frederic

1

PfComp: A Verified Compiler for Packet Filtering Leveraging..:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Chavanon, Clément ; Besson, Frédéric ; Ninet, Tristan - p. 89-102 , 2024

Link: https://dl.acm.org/doi/1..

2

Making an eBPF Virtual Machine Faster on Microcontrollers: ..:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Yuan, Shenghao ; Lion, Benjamin ; Besson, Frédéric. - p. 385-401 , 2023

Link: https://doi.org/10.1007/..

3

Type-directed Program Transformation for Constant-Time Enfo..:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

Raimondi, Gautier ; Besson, Frédéric ; Jensen, Thomas - p. 1-13 , 2023

Link: https://dl.acm.org/doi/1..

4

Work in Progress: Thwarting Timing Attacks in Microcontroll..:

, In: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW),

Gaudin, Nicolas ; Hatchikian-Houdot, Jean-Loup ; Besson, Frederic... - p. 304-310 , 2023

Link: https://doi.org/10.1109/..

5

End-to-End Mechanized Proof of an eBPF Virtual Machine for ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Yuan, Shenghao ; Besson, Frédéric ; Talpin, Jean-Pierre... - p. 293-316 , 2022

Link: https://doi.org/10.1007/..

6

Femto-containers : lightweight virtualization and fault ..:

, In: Proceedings of the 23rd conference on 23rd ACM/IFIP International Middleware Conference,

Zandberg, Koen ; Baccelli, Emmanuel ; Yuan, Shenghao.. - p. 161-173 , 2022

Link: https://dl.acm.org/doi/1..

7

Long-term impact of COVID-19 among maintenance haemodialysi..:

Chawki, Sylvain ; Buchard, Albert ; Sakhi, Hamza...
Clinical Kidney Journal. 15 (2021) 2 - p. 262-268 , 2021

Link: https://doi.org/10.1093/..

8

Compiling Sandboxes: Formally Verified Software Fault Isola..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Besson, Frédéric ; Blazy, Sandrine ; Dang, Alexandre.. - p. 499-524 , 2019

Link: https://doi.org/10.1007/..

9

CompCertS: A Memory-Aware Verified C Compiler Using a Point..:

Besson, Frédéric ; Blazy, Sandrine ; Wilke, Pierre
Journal of Automated Reasoning. 63 (2018) 2 - p. 369-392 , 2018

Link: https://doi.org/10.1007/..

10

Securing Compilation Against Memory Probing:

, In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security,

Besson, Frédéric ; Dang, Alexandre ; Jensen, Thomas - p. 29-40 , 2018

Link: https://dl.acm.org/doi/1..

11

Modular Software Fault Isolation as Abstract Interpretation:

, In: Static Analysis; Lecture Notes in Computer Science,

Besson, Frédéric ; Jensen, Thomas ; Lepiller, Julien - p. 166-186 , 2018

Link: https://doi.org/10.1007/..

12

A Verified CompCert Front-End for a Memory Model Supporting..:

Besson, Frédéric ; Blazy, Sandrine ; Wilke, Pierre
Journal of Automated Reasoning. 62 (2017) 4 - p. 433-480 , 2017

Link: https://doi.org/10.1007/..

13

CPA beats ∞-CFA:

, In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs,

Besson, Frédéric - p. 1-6 , 2009

Link: https://dl.acm.org/doi/1..

14

Proof-carrying code from certified abstract interpretation ..:

Besson, Frédéric ; Jensen, Thomas ; Pichardie, David
Theoretical Computer Science. 364 (2006) 3 - p. 273-291 , 2006

Link: https://doi.org/10.1016/..

15

Interfaces for stack inspection:

BESSON, FRÉDÉRIC ; DE GRENIER DE LATOUR, THOMAS ; JENSEN, THOMAS
Journal of Functional Programming. 15 (2005) 2 - p. 179-217 , 2005

Link: https://doi.org/10.1017/..