Login / Signup
Pete Manolios
ORCID
Publication Activity (10 Years)
Years Active: 2008-2022
Publications (10 Years): 1
Top Topics
Model Driven
Petri Net
Top Venues
CoRR
</>
Publications
</>
Ankit Kumar
,
Max von Hippel
,
Pete Manolios
,
Cristina Nita-Rotaru
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.
CoRR
(2022)
William G. J. Halfond
,
Alessandro Orso
,
Pete Manolios
WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation.
IEEE Trans. Software Eng.
34 (1) (2008)