Pierre Wilke

Orcid: 0000-0001-9681-644X

According to our database1, Pierre Wilke authored at least 16 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code.
Proceedings of the Computer Security - ESORICS 2024, 2024

2023
Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections.
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.
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?
IEEE Trans. Inf. Forensics Secur., 2022

2021
Preventing serialization vulnerabilities through transient field detection.
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.
Proc. ACM Program. Lang., 2020

Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures.
Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

Abusing Android Runtime for Application Obfuscation.
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.
Proc. ACM Program. Lang., 2019

CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics.
J. Autom. Reason., 2019

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data.
J. Autom. Reason., 2019

Compiling Sandboxes: Formally Verified Software Fault Isolation.
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).
PhD thesis, 2016

2015
A Concrete Memory Model for CompCert.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2014
A Precise and Abstract Memory Model for C Using Symbolic Values.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014


  Loading...