Kevin R. B. Butler
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 27 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Safety and Security | EMSOFT 2022 | 2022-10-07 |
A verified train controller models the full FRA kinematics in KeYmaera X, uses Taylor approximations, ghost differential equations and iterative bootstrapping… | ||
| ATtention Spanned: Comprehensive Vulnerability Analysis of AT Commands Within the Android Ecosystem | USENIX Security '18 | 2018-08-15 |
Researchers extract 3,500 AT commands from over 2,000 Android firmware images across 11 vendors, build an automated USB tester that talks to phones over the… | ||
| Making USB Great Again with USBFILTER | USENIX Security '16 | 2016-08-10 |
Kernel-layer USB firewall that mediates every USB packet by sitting between drivers and the host controller, tracing packets back to PIDs and enforcing… | ||
| nothing matches | ||