Pierre Wilke
pierre.wilke [at] centralesupelec.fr
Publications :
- Pre-submission / Working document - 1 document
- Lionel Hemmerlé, Guillaume – Hiet, Frédéric Tronel, Pierre Wilke, Jean-Christophe Prévotet. An XVisor extension using a Domain Specific Language to detect Rootkits in Virtual Machines, 2025-01-10. (https://hal.science/hal-04879065v1)
- Communication on a congress - 13 documents
- Hatchikian-Houdot Jean-Loup, Pierre Wilke, Frédéric Besson, Guillaume Hiet. Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code, 2024-09-16. (https://hal.science/hal-04804914v1)
- 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, 2023-07-09. (https://inria.hal.science/hal-04118645v1)
- Tomás Concepción Miranda, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke. DaViz: Visualization for Android Malware Datasets, 2022-05-10. (https://inria.hal.science/hal-03709062v1)
- Pierre Graux, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke. Preventing Serialization Vulnerabilities through Transient Field Detection, 2021-03-22. (https://inria.hal.science/hal-03066847v1)
- Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Jean-Louis Lanet. Malware Windows Evasifs : Impact sur les Antivirus et Possible Contre-mesure, 2020-12-14. (https://inria.hal.science/hal-03139240v1)
- Yuting Wang, Xiangzhen Xu, Pierre Wilke, Zhong Shao. CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files, 2020-11-16. (https://hal.science/hal-03114583v1)
- Pierre Graux, Jean-François Lalande, Pierre Wilke, Valérie Viet Triem Tong. Abusing Android Runtime for Application Obfuscation, 2020-09-11. (https://centralesupelec.hal.science/hal-02877815v1)
- 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, 2020-07-08. (https://hal.science/hal-02949067v1)
- Valérie Viet Triem Tong, Cédric Herzog, Tomás Concepción Miranda, Pierre Graux, Jean-François Lalande, Pierre Wilke. Isolating malicious code in Android malware in the wild, 2019-10-01. (https://centralesupelec.hal.science/hal-02288116v1)
- Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas Jensen, Pierre Wilke. Compiling Sandboxes: Formally Verified Software Fault Isolation, 2019-04-06. (https://inria.hal.science/hal-02316189v1)
- Frédéric Besson, Sandrine Blazy, Pierre Wilke. CompCertS: A Memory-Aware Verified C Compiler using Pointer as Integer Semantics, 2017-09-26. (https://inria.hal.science/hal-01656875v1)
- Frédéric Besson, Sandrine Blazy, Pierre Wilke. A Concrete Memory Model for CompCert, 2015-08-24. (https://inria.hal.science/hal-01194549v1)
- Frédéric Besson, Sandrine Blazy, Pierre Wilke. A Precise and Abstract Memory Model for C Using Symbolic Values, 2014. (https://inria.hal.science/hal-01093312v1)
- Article in a review - 5 documents
- Pierre Graux, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke. OATs’inside : Retrieving Object Behaviors From Native-based Obfuscated Android Applications, 2023-08-10. (https://centralesupelec.hal.science/hal-04279351v1)
- Tomás Concepción Miranda, Pierre-Francois 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?, 2022-06-03. (https://inria.hal.science/hal-03700082v1)
- Frédéric Besson, Sandrine Blazy, Pierre Wilke. CompCertS: A Memory-Aware Verified C Compiler using a Pointer as Integer Semantics, 2019-08. (https://inria.hal.science/hal-02401182v1)
- Frédéric Besson, Sandrine Blazy, Pierre Wilke. A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data, 2019-04. (https://inria.hal.science/hal-01656895v1)
- Yuting Wang, Pierre Wilke, Zhong Shao. An abstract stack based approach to verified compositional compilation to machine code, 2019-01. (https://hal.science/hal-02018168v1)
- MEM - 1 document
- Pierre Wilke. Analyse statique de code dynamique, 2013-07-25. (https://dumas.ccsd.cnrs.fr/dumas-00854847v1)