Michael Franz
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
Deterministic Fully-Static Whole-Binary Translation without Heuristics
Elevator is a novel, deterministic binary translator that statically translates entire x86-64 executables to AArch64 by considering all possible interpretations of every byte, eliminating the need for heuristics or runtime fallbacks.
Highlighted terms show continued research focus across papers