Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Engel
conf.researchr.org general profile
ICSE 2025 profile
STAF 2023 profile
Registered user since Wed 19 Jul 2023
Name:
Daniel Engel
Country:
Netherlands
Affiliation:
Open University Of The Netherlands
Contributions
2025
ICSE
Author of Formally Verified Binary-level Pointer Analysis within the Research Track-track
2023
TAP
Presenter of BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries within the Research Papers-track
Share
x
Mon 1 Sep 16:33