Jay Bosamiya
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 4 in the filters
on a stage with
all 35 in the filters
who talks about the same things
- Bryan Parno22 talks
- Conrad Watt12 talks
- Craig Disselkoen4 talks
- Marco Patrignani14 talks
- Jean Pichon-Pharabod12 talks
- Marco Vassena8 talks
| 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… | ||
| TRex: Practical Type Reconstruction for Binary Code | USENIX Security '25 | 2025-08-13 |
TRex is a deductive constraint-based tool that reconstructs behavior-capturing types using structural types and a final type rounding step, producing pointers… | ||
| Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust | USENIX Security '25 | 2025-08-13 |
Vest generates Rust zero-copy parsers and in-place serializers from an RFC-like DSL, proves memory safety plus soundness, completeness, non-malleability and… | ||
| MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code | POPL 2023 | 2023-01-15 |
Extends Wasm with segmented memory and unforgeable handles that carry colored provenance, a formal semantics, and a proof that well-typed MSWasm modules are… | ||
| WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing | PriSC 2020 | 2020-01-25 |
A prototype compiler verifies sandboxing properties for WebAssembly by lowering Wasm into an unstructured CFG family early, doing optimizations there, and… | ||
| nothing matches | ||