An abstract stack based approach to verified compositional compilation to machine code
Wang, Yuting, Wilke, Pierre, Shao, Zhong
Published in Proceedings of ACM on programming languages (01.01.2019)
Published in Proceedings of ACM on programming languages (01.01.2019)
Get full text
Journal Article
CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics
Besson, Frédéric, Blazy, Sandrine, Wilke, Pierre
Published in Journal of automated reasoning (01.08.2019)
Published in Journal of automated reasoning (01.08.2019)
Get full text
Journal Article
A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data
Besson, Frédéric, Blazy, Sandrine, Wilke, Pierre
Published in Journal of automated reasoning (01.04.2019)
Published in Journal of automated reasoning (01.04.2019)
Get full text
Journal Article
A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity
Baty, Matthieu, Wilke, Pierre, Hiet, Guillaume, Fontaine, Arnaud, Trieu, Alix
Published in 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (01.07.2023)
Published in 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (01.07.2023)
Get full text
Conference Proceeding
CompCertELF: verified separate compilation of C programs into ELF object files
Wang, Yuting, Xu, Xiangzhe, Wilke, Pierre, Shao, Zhong
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?
Miranda, Tomas Concepcion, Gimenez, Pierre-Francois, Lalande, Jean-Francois, Tong, Valerie Viet Triem, Wilke, Pierre
Published in IEEE transactions on information forensics and security (01.01.2022)
Published in IEEE transactions on information forensics and security (01.01.2022)
Get full text
Journal Article
A Concrete Memory Model for CompCert
Besson, Frédéric, Blazy, Sandrine, Wilke, Pierre
Published in Interactive Theorem Proving (19.08.2015)
Published in Interactive Theorem Proving (19.08.2015)
Get full text
Book Chapter
A Precise and Abstract Memory Model for C Using Symbolic Values
Besson, Frédéric, Blazy, Sandrine, Wilke, Pierre
Published in Programming Languages and Systems (2014)
Published in Programming Languages and Systems (2014)
Get full text
Book Chapter
Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections
Gaudin, Nicolas, Hatchikian-Houdot, Jean-Loup, Besson, Frederic, Cotret, Pascal, Gogniat, Guy, Hiet, Guillaume, Lapotre, Vianney, Wilke, Pierre
Published in 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) (01.07.2023)
Published in 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) (01.07.2023)
Get full text
Conference Proceeding
Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures
Herzog, Cédric, Valérie Viet Triem Tong, Wilke, Pierre, Arnaud van Straaten, Jean-Louis Lanet
Published in arXiv.org (25.09.2020)
Published in arXiv.org (25.09.2020)
Get full text
Paper
Journal Article
Abusing Android Runtime for Application Obfuscation
Graux, Pierre, Lalande, Jean-Francois, Wilke, Pierre, Triem Tong, Valerie Viet
Published in 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) (01.09.2020)
Published in 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) (01.09.2020)
Get full text
Conference Proceeding