Login / Signup
Daniel Ferenczi
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Open Source
Symbolic Execution
Static Analysis
Data Management
Top Venues
SACI
</>
Publications
</>
Daniel Ferenczi
,
Melinda Tóth
Safe Process State Upgrades Through Static Analysis.
SACI
(2024)