62 citations · 62 across the 2 of their papers we have counts for
2 papers
cs.CR2024
Bringing Rust to Safety-Critical Systems in Space
Lukas Seidel, Julian Beier
The development of safety-critical aerospace systems is traditionally dominated by the C language. Its language characteristics make it trivial to accidentally introduce memory saf…
cs.CR2020★ 62 cited
BaseSAFE: Baseband SAnitized Fuzzing through Emulation
Dominik Maier, Lukas Seidel, Shinjo Park
Rogue base stations are an effective attack vector. Cellular basebands represent a critical part of the smartphone's security: they parse large amounts of data even before authenti…