Pierre Wilke

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 14

Top Venues

Proc. ACM Program. Lang.

ITP

EuroS&P Workshops

J. Autom. Reason.

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Nicolas Gaudin, Jean-Loup Hatchikian-Houdot, Frédéric Besson, Pascal Cotret, Guy Gogniat, Guillaume Hiet, Vianney Lapotre, Pierre Wilke
Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections. EuroS&P Workshops (2023)
Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu
A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity. CSF (2023)
Tomás Concepción Miranda, Pierre-François Gimenez, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke
Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased? IEEE Trans. Inf. Forensics Secur. 17 (2022)
Pierre Graux, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke
Preventing serialization vulnerabilities through transient field detection. SAC (2021)
Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Arnaud Van Straaten, Jean-Louis Lanet
Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures. CoRR (2020)
Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Arnaud Van Straaten, Jean-Louis Lanet
Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures. ICETE (2) (2020)
Yuting Wang, Xiangzhe Xu, Pierre Wilke, Zhong Shao
CompCertELF: verified separate compilation of C programs into ELF object files. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Pierre Graux, Jean-François Lalande, Pierre Wilke, Valérie Viet Triem Tong
Abusing Android Runtime for Application Obfuscation. EuroS&P Workshops (2020)
Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke
Compiling Sandboxes: Formally Verified Software Fault Isolation. ESOP (2019)
Frédéric Besson, Sandrine Blazy, Pierre Wilke
CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics. J. Autom. Reason. 63 (2) (2019)
Frédéric Besson, Sandrine Blazy, Pierre Wilke
A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data. J. Autom. Reason. 62 (4) (2019)
Yuting Wang, Pierre Wilke, Zhong Shao
An abstract stack based approach to verified compositional compilation to machine code. Proc. ACM Program. Lang. 3 (POPL) (2019)
Frédéric Besson, Sandrine Blazy, Pierre Wilke
CompCertS: A Memory-Aware Verified C Compiler Using Pointer as Integer Semantics. ITP (2017)
Frédéric Besson, Sandrine Blazy, Pierre Wilke
A Concrete Memory Model for CompCert. ITP (2015)
Frédéric Besson, Sandrine Blazy, Pierre Wilke
A Precise and Abstract Memory Model for C Using Symbolic Values. APLAS (2014)

Pierre Wilke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre Wilke