Antonio Bianchi
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 18 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| DnD: Decompiling Deep Neural Network Compiled Binary | Black Hat Europe 2022 | 2022-12-05 |
DnD claims a recoverable high level ONNX model from CPU compiled DNN binaries by locating operator functions, doing loop analysis and symbolic execution… | ||
| BLESA: Spoofing Attacks against Reconnections in Bluetooth Low Energy | WOOT '20 | 2020-08-11 |
Formal analysis finds two BLE reconnection design flaws that let an attacker impersonate a previously paired device and inject spoofed data. The authors build… | ||
| HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security | USENIX Security '18 | 2018-08-15 |
HeapHopper brings bounded model checking plus symbolic execution (uses angr) to concrete heap allocators, encoding up to a bounded number of transactions… | ||
| BootStomp: On the Security of Bootloaders in Mobile Devices | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Built a static-binary analyzer called BOOTSTOMP that combines multi-tag taint analysis with constrained dynamic symbolic execution to trace attacker-controlled… | ||
| nothing matches | ||