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 DX.Initiatives included novel developer personas and workflows, enablement of enterprise applications, and ZK software supply-chain security.

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 Architecture Review Board.

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 performant embedding of proof-carrying code within lightweight clients. Explored Mercury for performant logic programming for cloud security authentication workflows (authZ/authN).

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 application observability as security tooling using OpenTelemetry and Rust for data forecasting and anomaly detection.

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 regularly presented live and written demos and provided reference architectures in Go and Rust.

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 repeatable, secure container platform.

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 continuous delivery for enterprise customers across industries.

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 delivery and test environments and enable our transition to Agile and TDD.

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 development.

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.