From post

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.

 

Другие публикации лиц с тем же именем

Certificate Translation for Optimizing Compilers., , , и . SAS, том 4134 из Lecture Notes in Computer Science, стр. 301-317. Springer, (2006)Comparing the Detection of XSS Vulnerabilities in Node.js and a Multi-tier JavaScript-based Language via Deep Learning., , и . ICISSP, стр. 189-201. SCITEPRESS, (2022)Type Abstraction for Relaxed Noninterference., , , и . ECOOP, том 74 из LIPIcs, стр. 7:1-7:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Spot the Difference: Secure Multi-execution and Multiple Facets., и . ESORICS (1), том 9878 из Lecture Notes in Computer Science, стр. 501-519. Springer, (2016)High-Assurance Cryptography in the Spectre Era., , , , , , , , и . SP, стр. 1884-1901. IEEE, (2021)Impossibility of Precise and Sound Termination-Sensitive Security Enforcements., , и . IEEE Symposium on Security and Privacy, стр. 496-513. IEEE Computer Society, (2018)Clockwork: Tracking Remote Timing Attacks., , , и . CSF, стр. 350-365. IEEE, (2020)Security Types Preserving Compilation: (Extended Abstract)., , и . VMCAI, том 2937 из Lecture Notes in Computer Science, стр. 2-15. Springer, (2004)Preventing Timing Leaks Through Transactional Branching Instructions., , и . QAPL, том 153 из Electronic Notes in Theoretical Computer Science, стр. 33-55. Elsevier, (2005)Typed-based Relaxed Noninterference for Free., , и . CoRR, (2019)