Pierre Wilke

Laboratoire

Confidentialté, Intégrité, Disponibilité, Répartition

Publications (23)

Document associé à des manifestations scientifiques 06/10/2025

heRVé: towards a formally verified RISC-V processor with security mechanisms

Cyprien Jules , Gabriel Desfrene , Pierre Wilke , Guillaume Hiet

Thèse 12/08/2025

Formally verified compilation of low-level C code

Pierre Wilke

Communication dans un congrès 22/07/2025

Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures

Cédric Herzog , Arnaud van Straaten , Jean-Louis Lanet , Pierre Wilke

04/04/2025

An XVisor extension using a Domain Specific Language to detect Rootkits in Virtual Machines

Guillaume – Hiet , Jean-Christophe Prévotet , Guillaume Hiet , Frederic Tronel , Pierre Wilke

Article dans une revue 28/03/2025

CompCertS: A Memory-Aware Verified C Compiler using a Pointer as Integer Semantics

Frédéric Besson , Sandrine Blazy , Pierre Wilke

Communication dans un congrès 28/03/2025

Preventing Serialization Vulnerabilities through Transient Field Detection

Pierre Graux , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication dans un congrès 28/03/2025

A Precise and Abstract Memory Model for C Using Symbolic Values

Frédéric Besson , Sandrine Blazy , Pierre Wilke

Communication dans un congrès 28/03/2025

A generic framework to develop and verify security mechanisms at the microarchitectural level: application to control-flow integrity

Arnaud Fontaine , Alix Trieu , Pierre Wilke , Guillaume Hiet

Article dans une revue 28/03/2025

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data

Frédéric Besson , Sandrine Blazy , Pierre Wilke

Communication dans un congrès 28/03/2025

Compiling Sandboxes: Formally Verified Software Fault Isolation

Frédéric Besson , Sandrine Blazy , Alexandre Dang , Thomas Jensen , Pierre Wilke

Communication dans un congrès 28/03/2025

Abusing Android Runtime for Application Obfuscation

Pierre Graux , Jean-Francois Lalande , Pierre Wilke , Valerie Viet Triem Tong

Communication dans un congrès 28/03/2025

Malware Windows Evasifs : Impact sur les Antivirus et Possible Contre-mesure

Cédric Herzog , Jean-Louis Lanet , Pierre Wilke

Communication dans un congrès 28/03/2025

CompCertS: A Memory-Aware Verified C Compiler using Pointer as Integer Semantics

Frédéric Besson , Sandrine Blazy , Pierre Wilke

Article dans une revue 28/03/2025

OATs’inside : Retrieving Object Behaviors From Native-based Obfuscated Android Applications

Pierre Graux , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication dans un congrès 28/03/2025

Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code

Jean-Loup Hatchikian-Houdot , Frédéric Besson , Pierre Wilke , Guillaume Hiet

Article dans une revue 28/03/2025

Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?

Tomás Concepción Miranda , Pierre-François Gimenez , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication dans un congrès 28/03/2025

Isolating malicious code in Android malware in the wild

Cédric Herzog , Tomás Concepción Miranda , Pierre Graux , Valerie Viet Triem Tong , Jean-Francois Lalande , Pierre Wilke

Communication dans un congrès 28/03/2025

A Concrete Memory Model for CompCert

Frédéric Besson , Sandrine Blazy , Pierre Wilke

Communication dans un congrès 28/03/2025

DaViz: Visualization for Android Malware Datasets

Tomás Concepción Miranda , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication dans un congrès 28/03/2025

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files

Yuting Wang , Xiangzhen Xu , Zhong Shao , Pierre Wilke

Article dans une revue 28/03/2025

Side-Channel Resistant Applications through Co-designed Hardware/ Software: the SCRATCHS Project

Frédéric Besson , Célia Le Du , Pierre Wilke

Mémoire 23/03/2025

Analyse statique de code dynamique

Pierre Wilke

Article dans une revue 28/11/2024

An abstract stack based approach to verified compositional compilation to machine code

Yuting Wang , Zhong Shao , Pierre Wilke