1 code implementation • 24 May 2019 • Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer
SpecFuzz is the first tool that enables dynamic testing for speculative execution vulnerabilities (e. g., Spectre).
Cryptography and Security
2 code implementations • 2 Feb 2017 • Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer
Memory-safety violations are a prevalent cause of both reliability and security vulnerabilities in systems software written in unsafe languages like C/C++.
Cryptography and Security