Login / Signup
Leon Wenning
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Active Databases
Abstract Interpretation
Active Rules
Top Venues
AsiaCCS
</>
Publications
</>
Alexander Küchler
,
Leon Wenning
,
Florian Wendland
AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation.
AsiaCCS
(2023)