Pinky: A Modern Malware-Oriented Dynamic Information Retrieval Tool

von Irofti, Paul
Veröffentlicht in SECITC (16. : 2023 : Bukarest; Online) Innovative security solutions for information technology and communications (2024)

Software Mitigation of RISC-V Spectre Attacks

von Bdlucea, Ruxandra
Veröffentlicht in SECITC (16. : 2023 : Bukarest; Online) Innovative security solutions for information technology and communications (2024)

OpenBSD Formal Driver Verification with SeL4

von Nicolae, Adriana
Veröffentlicht in SECITC (16. : 2023 : Bukarest; Online) Innovative security solutions for information technology and communications (2024)