Scott Constable
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Andreas Lindneronce
- Carl Shawonce
- Elena Reshetovaonce
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification | VMCAI 2026 | 2026-01-12 |
A sound, proof-producing symbolic execution framework is formalized and implemented in HOL4 theorem prover and HolBA, instantiated for the BIR intermediate… | ||
| Opportunities and Challenges on Merging HW Security Features into Linux Mainline Kernel | Linux Security Summit Europe 2025 | 2025-08-28 |
Hardware features that land quickly share concrete properties: clear ABI compatibility, a simple enable path, and at least one large adopter. Examples… | ||
| nothing matches | ||