5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.SE2020
The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects
Ralf Ramsauer, Lukas Bulwahn, Daniel Lohmann +1
Public development processes are a key characteristic of open source projects. However, fixes for vulnerabilities are usually discussed privately among a small group of trusted mai…
eess.SY2017★ 5 cited
Proceedings First Workshop on Formal Verification of Autonomous Vehicles
Lukas Bulwahn, Maryam Kamali, Sven Linker
These are the proceedings of the workshop on Formal Verification of Autonomous Vehicles, held on September 19th, 2017 in Turin, Italy, as an affiliated workshop of the Internationa…