Vasil Sarafov

According to our database, Vasil Sarafov authored at least 5 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Tephra: Principled Discovery of Fuzzer Limitations.

Vasil Sarafov, David Markvica, Stefan Brunthaler

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

Understanding and Improving Coverage Tracking with AFL++ (Registered Report).

Vasil Sarafov, David Markvica, Felix Berlakovich, Matthias Bernad, Stefan Brunthaler

Proceedings of the 3rd ACM International Fuzzing Workshop, 2024

2022

GyroidOS: Packaging Linux with a Minimal Surface.

Felix Wruck, Vasil Sarafov, Florian Jakobsmeier, Michael Weiß

Proceedings of the Sat-CPS@CODASPY 2022: Proceedings of the 2022 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems, 2022

2020

The Lazarus Effect: Healing Compromised Devices in the Internet of Small Things.

Manuel Huber, Stefan Hristozov, Simon Ott, Vasil Sarafov, Marcus Peinado

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

Dynamic IoT Choreographies.

Jan Seeger, Rohit A. Deshmukh, Vasil Sarafov, Arne Bröring

IEEE Pervasive Comput., 2019