Pierre Wilke

19 papers A 2B 3C 1Misc 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2025 C conf
HYPERSEC: An Extensible Hypervisor-Assisted Framework for Kernel Rootkit Detection.
ISC
Lionel Hemmerlé, Guillaume Hiet, Frédéric Tronel, Pierre Wilke, Jean-Christophe Prévotet
2024 — conf
Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code.
ESORICS (3)
Jean-Loup Hatchikian-Houdot, Pierre Wilke, Frédéric Besson, Guillaume Hiet
2024 J jnl
Side-Channel Resistant Applications through Co-designed Hardware/ Software: the SCRATCHS Project.
ERCIM News
Frédéric Besson, Célia Le Du, Pierre Wilke
2023 A conf
A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity.
CSF
Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu
2023 — conf
Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections.
EuroS&P Workshops
Nicolas Gaudin, Jean-Loup Hatchikian-Houdot, Frédéric Besson, Pascal Cotret, Guy Gogniat, Guillaume Hiet, Vianney Lapotre, Pierre Wilke
2022 J jnl
Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?
IEEE Trans. Inf. Forensics Secur.
Tomás Concepción Miranda, Pierre-François Gimenez, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke
2021 Misc conf
Preventing serialization vulnerabilities through transient field detection.
SAC
Pierre Graux, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke
2020 — conf
Abusing Android Runtime for Application Obfuscation.
EuroS&P Workshops
Pierre Graux, Jean-François Lalande, Pierre Wilke, Valérie Viet Triem Tong
2020 J jnl
CompCertELF: verified separate compilation of C programs into ELF object files.
Proc. ACM Program. Lang.
Yuting Wang, Xiangzhe Xu, Pierre Wilke, Zhong Shao
2020 — conf
Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures.
ICETE (2)
Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Arnaud Van Straaten, Jean-Louis Lanet
2020 J jnl
Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures.
CoRR
Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Arnaud Van Straaten, Jean-Louis Lanet
2019 J jnl
A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data.
J. Autom. Reason.
Frédéric Besson, Sandrine Blazy, Pierre Wilke
2019 J jnl
An abstract stack based approach to verified compositional compilation to machine code.
Proc. ACM Program. Lang.
Yuting Wang, Pierre Wilke, Zhong Shao
2019 J jnl
CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics.
J. Autom. Reason.
Frédéric Besson, Sandrine Blazy, Pierre Wilke
2019 A conf
Compiling Sandboxes: Formally Verified Software Fault Isolation.
ESOP
Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke
2017 B conf
CompCertS: A Memory-Aware Verified C Compiler Using Pointer as Integer Semantics.
ITP
Frédéric Besson, Sandrine Blazy, Pierre Wilke
2016 — —
Formally verified compilation of low-level C code. (Compilation formellement vérifiée de code C de bas-niveau).
Pierre Wilke
2015 B conf
A Concrete Memory Model for CompCert.
ITP
Frédéric Besson, Sandrine Blazy, Pierre Wilke
2014 B conf
A Precise and Abstract Memory Model for C Using Symbolic Values.
APLAS
Frédéric Besson, Sandrine Blazy, Pierre Wilke