Pierre Wilke

According to our database, Pierre Wilke authored at least 15 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections.

Nicolas Gaudin, Jean-Loup Hatchikian-Houdot, Frédéric Besson, Pascal Cotret, Guy Gogniat, Guillaume Hiet, Vianney Lapotre, Pierre Wilke

Proceedings of the IEEE European Symposium on Security and Privacy, 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

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Dada: Debiased Android DAtasets.

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

Dataset, October, 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

IEEE Trans. Inf. Forensics Secur., 2022

2021

Preventing serialization vulnerabilities through transient field detection.

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

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020

CompCertELF: verified separate compilation of C programs into ELF object files.

Yuting Wang, Xiangzhe Xu, Pierre Wilke, Zhong Shao

Proc. ACM Program. Lang., 2020

Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures.

Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Arnaud Van Straaten, Jean-Louis Lanet

Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

Abusing Android Runtime for Application Obfuscation.

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

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

2019

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

Yuting Wang, Pierre Wilke, Zhong Shao

Proc. ACM Program. Lang., 2019

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

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

J. Autom. Reason., 2019

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

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

J. Autom. Reason., 2019

Compiling Sandboxes: Formally Verified Software Fault Isolation.

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

Proceedings of the Programming Languages and Systems, 2019

2016

Formally verified compilation of low-level C code. (Compilation formellement vérifiée de code C de bas-niveau).

Pierre Wilke

PhD thesis, 2016

2015

A Concrete Memory Model for CompCert.

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

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2014

A Precise and Abstract Memory Model for C Using Symbolic Values.

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

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014