Giovanni Vigna
where else to find them
bluesky:giovannivigna.bsky.social
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 13 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Emotet Exposed: Insider the Cybercriminal's Supply Chain | RSA Conference 2023 | 2023-04-24 |
VMware researchers build a sock puppet Emotet client and study ~20,000 samples over six months, extracting 328 unique C2 IPs and 139 distinct execution trees… | ||
| 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… | ||
| DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
DR. CHECKER is a modular, static bug-finder that implements soundy (mostly sound) analysis by combining pointer and taint engines; both are flow-sensitive… | ||
| nothing matches | ||