Barry Bond
where else to find them
github:BarryBo
linkedin:barry-bond-2580282
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 26 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Project Everest: Perspectives from Developing Industrial-Grade High-Assurance(…) | PLDI 2026 | 2026-06-15 |
Project Everest produces a verified TLS stack and crypto suite rather than promises: it yields 1.3 million lines of F source that build in two hours, emits… | ||
| Vale: Verifying High-Performance Cryptographic Assembly Code | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Vale converts annotated, hand-tuned assembly into an abstract syntax tree and emits machine-checked proofs verified by an SMT-based verifier, letting the AST… | ||
| nothing matches | ||