Jun Xu
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 19 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| SoK: Where’s the “up”?! A Comprehensive (bottom-up) Study on the Security of... | WOOT '24 | 2024-08-12 |
Comprehensive audit collects over 7,000 firmware samples and validates 1,797 real-world firmware, scans ~500 related CVEs, and releases tooling on GitHub; key… | ||
| Proving LTL Properties of Bitvector Programs and Decompiled Binaries | APLAS 2021 | 2021-10-17 |
Introduces a source transformation that replaces bitvector operators with extra linear-case splits and uses integer interpolation to let SMT-backed tools… | ||
| Demystify Today's Binary Disassembling and How Modern ABI Makes it Easier | Black Hat Asia 2020 | 2020-09-29 |
Paper reads source code of eight open tools Ghidra, Angr, McSema, Dyninst, Radare2, Jakstab, Uroboros, Objdump and documents 44 strategies (15 principled, 29… | ||
| Postmortem Program Analysis with Hardware-Enhanced Post-Crash Artifacts | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
POMP reconstructs pre-crash dataflow by reverse-executing Intel PT traces merged into a core dump and then runs backward taint analysis to highlight the… | ||
| nothing matches | ||