Login / Signup
Alexander Küchler
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 7
Top Topics
Anti Monotonic
Source Code
Reverse Engineer
Practical Application
Top Venues
CoRR
NDSS
ISC
AsiaCCS
</>
Publications
</>
Alexander Küchler
,
Leon Wenning
,
Florian Wendland
AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation.
AsiaCCS
(2023)
Maximilian Kaul
,
Alexander Küchler
,
Christian Banse
A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis.
QCE
(2023)
Maximilian Kaul
,
Alexander Küchler
,
Christian Banse
A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis.
CoRR
(2023)
Alexander Küchler
,
Christian Banse
Representing LLVM-IR in a Code Property Graph.
ISC
(2022)
Alexander Küchler
,
Christian Banse
Representing LLVM-IR in a Code Property Graph.
CoRR
(2022)
Alexander Küchler
,
Alessandro Mantovani
,
Yufei Han
,
Leyla Bilge
,
Davide Balzarotti
Does Every Second Count? Time-based Evolution of Malware Behavior in Sandboxes.
NDSS
(2021)
Julian Schütte
,
Alexander Küchler
,
Dennis Titze
Practical Application-Level Dynamic Taint Analysis of Android Apps.
TrustCom/BigDataSE/ICESS
(2017)