Pierre Wilke

Laboratory

Confidentiality, Integrity, Availability, Distribution

Website

Publications (26)

11/01/2026

Modular and automatic formal verification of a RISC-V processor with security mechanisms

Cyprien Jules , Pierre Wilke , Guillaume Hiet

Communication at a conference 22/10/2025

HYPERSEC: An Extensible Hypervisor-Assisted Framework for Kernel Rootkit Detection

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

Document associated with scientific events 25/09/2025

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

Cyprien Jules , Gabriel Desfrene , Pierre Wilke , Guillaume Hiet

Report 25/09/2025

WIP: InSight -A CoreSight Trace Interpreter for Dynamic Information Flow Tracking

Volker Stolz , Guillaume Hiet , Pierre Wilke

01/01/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

Communication at a conference 06/09/2024

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 in a journal 01/01/2024

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

Frédéric Besson , Celia Le Du , Pierre Wilke

Article in a journal 10/08/2023

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

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

Communication at a conference 09/07/2023

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 in a journal 03/06/2022

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

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

Communication at a conference 10/05/2022

DaViz: Visualization for Android Malware Datasets

Tomás Concepcion Miranda , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication at a conference 22/03/2021

Preventing Serialization Vulnerabilities through Transient Field Detection

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

Communication at a conference 16/11/2020

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

Yuting Wang , Xiangzhen Xu , Zhong Shao , Pierre Wilke

Communication at a conference 11/09/2020

Abusing Android Runtime for Application Obfuscation

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

Communication at a conference 08/07/2020

Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures

Cedric Herzog , Arnaud van Straaten , Jean-Louis Lanet , Pierre Wilke

Communication at a conference 01/01/2020

Evasive Windows Malware: Impact on Antivirus and Possible Countermeasure

Cedric Herzog , Jean-Louis Lanet , Pierre Wilke

Communication at a conference 01/10/2019

Isolating malicious code in Android malware in the wild

Cedric Herzog , Tomás Concepcion Miranda , Pierre Graux , Valerie Viet Triem Tong , Jean-Francois Lalande , Pierre Wilke

Article in a journal 01/08/2019

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