Ben Blaxill
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 2 in the filters
on a stage with
- Jade Philipoomonce
- Joel Sandinonce
- Samuel Grütteronce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Silver Oak: Hardware Software Co-Design and Co-Verification in Coq | PLARCH 2023 | 2023-06-17 |
A prototype called Silver Oak formalizes parts of the OpenTitan root‑of‑trust in Coq, using Cava for an AES hardware block and Bedrock 2 for the RISC‑V driver… | ||
| PicoDMA: DMA Attacks at Your Fingertips | Black Hat USA 2019 | 2019-08-03 |
A pocket-sized M.2 implant built from the $220 PicoEVB FPGA and a Pycom radio performs remote DMA: it executes 64-bit streaming reads and writes, an… | ||
| nothing matches | ||