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

A Survey of Security and Privacy Issues in V2X Communication Systems., , , , , , and . CoRR, (2022)Verifying Compiled File System Code., and . SBMF, volume 5902 of Lecture Notes in Computer Science, page 306-320. Springer, (2009)End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs., , , , , , and . ACM Trans. Priv. Secur., 26 (3): 39:1-39:46 (August 2023)Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust., , , and . SecDev, page 54-66. IEEE, (2023)Efficient and Timely Revocation of V2X Credentials., , , , and . NDSS, The Internet Society, (2024)Network Policies in Kubernetes: Performance Evaluation and Security Analysis., , , , and . EuCNC/6G Summit, page 407-412. IEEE, (2021)Model checking pointer safety in compiled programs.. University of York, UK, (2009)British Library, EThOS.Upgrading the protection of children from manipulative and addictive strategies in online games: Legal and technical solutions beyond privacy regulation., and . CoRR, (2022)Verifying compiled file system code., and . Formal Aspects Comput., 24 (3): 375-391 (2012)Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves., , , and . CCS, page 1357-1372. ACM, (2021)