Michael George
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
- Jason Craigonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Formal Verification with the Certora Prover | DeFi Security Summit 2022 | 2022-08-27 |
A formal verifier that translates contracts plus specs in CVL domain-specific language into logical formulas and uses multiple SMT solvers to produce either a… | ||
| A Case Study of MacOS Supply Chain Compromise | BSidesSF 2018 | 2018-04-15 |
Uses osquery for cross‑host state and timelining, Santa for execution events plus binary hashes and signer info, and OpenBSM/audit for file and network… | ||
| nothing matches | ||