Pierre Wilke

Laboratoire

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

Site WEB

Publications (22)

Document associé à des manifestations scientifiques 25/09/2025

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

Cyprien Jules , Pierre Wilke , Guillaume Hiet , Gabriel Desfrene , Pierre Wilke , Guillaume Hiet

01/01/2025

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

Lionel Hemmerlé , Guillaume – Hiet , Frédéric Tronel , Pierre Wilke , Jean-Christophe Prévotet , Guillaume Hiet , Frederic Tronel , Pierre Wilke

Communication dans un congrès 06/09/2024

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

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

Article dans une revue 01/01/2024

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

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

Article dans une revue 10/08/2023

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

Pierre Graux , Jean-François Lalande , Valérie Viet Triem Tong , Pierre Wilke , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication dans un congrès 09/07/2023

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

Matthieu Baty , Pierre Wilke , Guillaume Hiet , Arnaud Fontaine , Alix Trieu , Pierre Wilke , Guillaume Hiet

Article dans une revue 03/06/2022

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-François Lalande , Valérie Viet Triem Tong , Pierre Wilke , Pierre-François Gimenez , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication dans un congrès 10/05/2022

DaViz: Visualization for Android Malware Datasets

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

Communication dans un congrès 22/03/2021

Preventing Serialization Vulnerabilities through Transient Field Detection

Pierre Graux , Jean-François Lalande , Valérie Viet Triem Tong , Pierre Wilke , Jean-Francois Lalande , Valerie Viet Triem Tong , Pierre Wilke

Communication dans un congrès 16/11/2020

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

Yuting Wang , Xiangzhen Xu , Pierre Wilke , Zhong Shao , Pierre Wilke