Sabree Blackmon Email & Phone Number

Morgantown, WV, US

Leading Agoric's complex product security efforts.

SME of developer experience (DX), I used my Rust and programming language theory experience to drive secure-by-default, idiomatic, formally verifiable zero-knowledge virtual machine (zkVM) applications.DX responsibilities included supporting hackathon developers and running technical workshops. I established community feedback loops to improve.

Washington, District Of Columbia, United States

I led industrial research of formal methods across security-critical distributed systems and AI/ML applications.Successful research included SMT-assisted reasoning of zero-trust IAM and complex data controls, performance-critical logic programming for formalizing security policy, and cloud security protocols implemented in F*.Founding member of Rebellion.

Remote

As a program lead, I drove programming language development on Ferrocene, a project advancing Rust in security and mission-critical systems through language formalization and toolchain qualification.Program initiatives included improving ergonomic capabilities for formally verifying Rust programs and cryptographically verifiable Rust supply-chain security.

Remote

Technical lead on formal methods and correct-through-construction cloud security, supporting OSS and financial industry clients. I used automated proof systems for correctness checking and optimization of synthesized security policy and configuration.Developed WebAssembly compiler backend to Idris, a dependently typed functional language, to enable.

Remote

SME in secure software supply chain & cryptography engineering. I promoted secure development practices and automated security testing within the SDLC. I performed code reviews on projects in Go, C, and Python.I architected and promoted the open-source hardware security (TPM, HSM, PKCS11) initiatives with Arm, developed in Rust and Go.I researched.

Remote

Technical advocate for the OSS SPIFFE and SPIRE cloud-native security projects, which automate x509 and JWT cryptographic workload identities, leveraging supply-chain and runtime attestation.As DevRel, I established feedback loops between the SPIFFE community and Scytale engineering, giving product teams actionable feature stories and milestones. I.

Greater St. Louis Area

Technical leader responsible for a multi-tenant, global cloud infrastructure, supporting a diverse set of complex client apps and real-time data analytics projects.I engineered a highly automated, zero-trust platform for HIPAA and PCI subject workloads, practicing test-driven infrastructure, agile AppSec, and other emerging best practices to ensure a.

Greater St. Louis Area

Infrastructure systems architect and DevOps champion. I developed automation tools and software delivery pipelines and mentored Agile, test-driven approaches to cloud and on-premises systems.I mentored teams on cloud-native infrastructure tools and progressive practices (automated security scanning, infrastructure as code, microservices) to support.

Greater St. Louis Area

Ground-up development of safety-critical, environment-hardened wearables to support persons experiencing life-threatening emergencies.I led embedded firmware development and oversaw the formal verification of hardware designs and cryptographic modules. I later led platform engineering and architected a mission-critical, multi-region cloud infrastructure.

O'Fallon, IL

C developer of a highly immersive network security training appliance, SLAM-R, for DoD clients. On a software-defined network (SDN), SLAM-R simulates realistic traffic and launches security attacks & exploits.As a personal initiative, I implemented from the ground up, using Ruby and libvirt/KVM, a sophisticated CI/CD pipeline to support multiple customer.

Baltimore, MD

Developed a verified Linux OS board support package (uBoot, hardware drivers, security packages) for an experimental single board computer that acts as a development platform to deploy secure, high speed data processing applications for radar.I utilized C for kernel space development, C++ for middleware and used VHDL specifications to assist in driver.

Postgraduate Certificate, Cas In Coffee Excellence

A comprehensive science-based education on coffee along the whole value chain.

Coffee Trade Diploma​​

A collection of courses designed to prepare the learner for leadership in the handling, evaluation, and trade of green coffee.

Café Diploma

A collection of courses designed to prepare the learner for leadership in creating, preparing, and promoting specialty coffee experiences.