Author of the publication

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.

 

Other publications of authors with the same name

Principled and practical web application security.. Stanford University, USA, (2015)A Turning Point for Verified Spectre Sandboxing., , , , and . CoRR, (2022)Foundations for Parallel Information Flow Control Runtime Systems., , , , , and . POST, volume 11426 of Lecture Notes in Computer Science, page 1-28. Springer, (2019)Performance Analysis of the SHA-3 Candidates on Exotic Multi-core Architectures., and . CHES, volume 6225 of Lecture Notes in Computer Science, page 279-293. Springer, (2010)Keystroke-dynamics authentication against synthetic forgeries., and . CollaborateCom, page 1-8. ICST / IEEE, (2010)Liquid information flow control., , , , , and . Proc. ACM Program. Lang., 4 (ICFP): 105:1-105:30 (2020)Low discrepancy sequences for Monte Carlo simulations on reconfigurable platforms., , and . ASAP, page 108-113. IEEE Computer Society, (2008)FaCT: A Flexible, Constant-Time Programming Language., , , , , , and . SecDev, page 69-76. IEEE Computer Society, (2017)Position Paper: Progressive Memory Safety for WebAssembly., , , , , and . HASP@ISCA, page 4:1-4:8. ACM, (2019)Isolation Without Taxation: Near Zero Cost Transitions for SFI., , , , , , and . CoRR, (2021)