Pierre Wilke

Laboratoire

Confidentialté, Intégrité, Disponibilité, Répartition

Publications (22)

Communication dans un congrès 11/09/2020

Abusing Android Runtime for Application Obfuscation

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

Communication dans un congrès 08/07/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 , Pierre Wilke

Communication dans un congrès 01/01/2020

Malware Windows Evasifs : Impact sur les Antivirus et Possible Contre-mesure

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

Communication dans un congrès 01/10/2019

Isolating malicious code in Android malware in the wild

Valérie Viet Triem Tong , Cédric Herzog , Tomás Concepción Miranda , Pierre Graux , Jean-François Lalande , Pierre Wilke , Valerie Viet Triem Tong , Jean-Francois Lalande , Pierre Wilke

Article dans une revue 01/08/2019

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

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

Communication dans un congrès 06/04/2019

Compiling Sandboxes: Formally Verified Software Fault Isolation

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

Article dans une revue 01/04/2019

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

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

Article dans une revue 01/01/2019

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

Yuting Wang , Pierre Wilke , Zhong Shao , Pierre Wilke

Communication dans un congrès 26/09/2017

CompCertS: A Memory-Aware Verified C Compiler using Pointer as Integer Semantics

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

Communication dans un congrès 01/01/2015

A Concrete Memory Model for CompCert

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