( en | de | ru )

 

Disambiguation of "Wilke, Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections.

, , , , , , , and . EuroS&P Workshops, page 304-310. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pierre Wilke

Peter Wilke

Übergewicht und Adipositas als Risikofaktoren für die Entstehung von Parodontalerkrankungen: Ergebnisse der Study of Health in Pomerania (SHIP). Uni Greifswald, (2009)

Pierre Venet

Pierre Mattern

Pierre Gottschlich

 

Other publications of authors with the same name

Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?, , , , and . IEEE Trans. Inf. Forensics Secur., (2022)Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections., , , , , , , and . EuroS&P Workshops, page 304-310. IEEE, (2023)A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity., , , , and . CSF, page 372-387. IEEE, (2023)Abusing Android Runtime for Application Obfuscation., , , and . EuroS&P Workshops, page 616-624. IEEE, (2020)A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data., , and . J. Autom. Reason., 62 (4): 433-480 (2019)Dada: Debiased Android DAtasets., , , , and . (October 2022)CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics., , and . J. Autom. Reason., 63 (2): 369-392 (2019)Preventing serialization vulnerabilities through transient field detection., , , and . SAC, page 1598-1606. ACM, (2021)An abstract stack based approach to verified compositional compilation to machine code., , and . Proc. ACM Program. Lang., 3 (POPL): 62:1-62:30 (2019)CompCertELF: verified separate compilation of C programs into ELF object files., , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 197:1-197:28 (2020)