Sabree Blackmon
Senior Application Security Engineer II
Morgantown, West Virginia, United States
Summary
🤩
Rockstar🎓
Top SchoolSabree Blackmon is a Senior Application Security Engineer with a decade of experience building and operationalizing security for cloud, Web3, and safety-critical systems. They combine deep applied research in formal methods, dependent types, and language design with hands-on product security—rebooting Agoric’s security program, formalizing Rust tooling at Ferrous Systems, and leading formal verification efforts at Rebellion. As a founder and startup CTO they prototyped confidential computing, ZK and FHE pipelines, and a DSL for synthesizing privacy-preserving circuits, and they continue to work on Rust and cryptographic protocol audits. Sabree is as comfortable coordinating bug bounties and third-party audits as they are authoring SMT-assisted proofs and compilers for dependently typed languages, bringing a rare blend of academic rigor and product-first pragmatism. Based in Morgantown, WV, they quietly bridge advanced research and deployable security engineering across distributed systems and Web3.
9 years of coding experience
11 years of employment as a software developer
Master of Science - MS Computer Science, Master of Science - MS Computer Science at University of Colorado Boulder
English, Portuguese, Spanish
Github Skills (69)
risc10
risc-v10
virtual-machine10
microarchitecture9
rust9
verifiable9
pdf9
cryptography9
solidity8
access-control8
whatsapp8
smart-contracts8
contract8
security8
identity8
Programming languages (9)
Github contributions (5)
heavypackets/rust-spiffe
Sep 2018 - Mar 2021
Rust SPIFFE library -- Workload API client
Contributions:1 PR, 24 pushes, 3 branches in 2 years 6 months
api-clientapispifferustworkload
heavypackets/prezo
Oct 2019 - Sep 2021
Contributions:8 pushes, 2 branches in 1 year 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.