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

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)Liquid information flow control., , , , , and . Proc. ACM Program. Lang., 4 (ICFP): 105:1-105:30 (2020)Keystroke-dynamics authentication against synthetic forgeries., and . CollaborateCom, page 1-8. ICST / IEEE, (2010)A Turning Point for Verified Spectre Sandboxing., , , , and . CoRR, (2022)Principled and practical web application security.. Stanford University, USA, (2015)Low discrepancy sequences for Monte Carlo simulations on reconfigurable platforms., , and . ASAP, page 108-113. IEEE Computer Society, (2008)Foundations for Parallel Information Flow Control Runtime Systems., , , , , and . POST, volume 11426 of Lecture Notes in Computer Science, page 1-28. Springer, (2019)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)SoK: Practical Foundations for Spectre Defenses., , , , and . CoRR, (2021)