Login / Signup
Paul Moosbrugger
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Satisfiability Problem
Temporal Logic
Quantitative Analysis
Bounded Model Checking
Top Venues
CoRR
IV
WWW
</>
Publications
</>
Mikhail Shcherbakov
,
Paul Moosbrugger
,
Musard Balliu
Unveiling the Invisible: Detection and Evaluation of Prototype Pollution Gadgets with Dynamic Taint Analysis.
WWW
(2024)
Mikhail Shcherbakov
,
Paul Moosbrugger
,
Musard Balliu
Unveiling the Invisible: Detection and Evaluation of Prototype Pollution Gadgets with Dynamic Taint Analysis.
CoRR
(2023)
Sebastian Maierhofer
,
Paul Moosbrugger
,
Matthias Althoff
Formalization of Intersection Traffic Rules in Temporal Logic.
IV
(2022)