Formalization of Intersection Traffic Rules in Temporal Logic. - Sebastian Maierhofer; Paul Moosbrugger; Matthias Althoff (IV, 2022)

Unveiling the Invisible: Detection and Evaluation of Prototype Pollution Gadgets with Dynamic Taint Analysis. - Mikhail Shcherbakov; Paul Moosbrugger; Musard Balliu (WWW, 2024)