Pierre Wilke
Orcid: 0000-0001-9681-644X
According to our database1,
Pierre Wilke
authored at least 15 papers
between 2014 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
2020
Proc. ACM Program. Lang., 2020
Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020
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
J. Autom. Reason., 2019
A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data.
J. Autom. Reason., 2019
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
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015
2014
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014