Aravind Machiry
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 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 |
|---|---|---|
| C to checked C by 3c | OOPSLA 2022 | 2022-12-05 |
3C is a static-analysis annotation tool that uses two novel algorithms, typ3c and boun3c, to infer Checked C pointer kinds and array bounds; it converts about… | ||
| DIFUZE: Android Kernel Driver Fuzzing | Black Hat Europe 2017 | 2017-12-04 |
Difuze compiles kernel sources to LLVM bitcode, extracts ioctl handlers and device names, recovers command IDs and C struct layouts, then generates concrete… | ||
| 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 | ||