Login / Signup
Howard E. Shrobe
ORCID
Publication Activity (10 Years)
Years Active: 1978-2023
Publications (10 Years): 26
Top Topics
Control Flow
Moving Target Defense
Formal Semantics
Cyber Physical
Top Venues
CoRR
IEEE Des. Test
ETFA
IoT S&P@CCS
</>
Publications
</>