Joe Ranweiler
Principal Automated Reasoning Engineer
North Bend, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolJoe Ranweiler is a Principal Automated Reasoning Engineer with 16 years of experience building security-minded tooling for fuzzing, symbolic execution, and cryptography at organizations including Microsoft and Ford. He blends research-driven systems work with production-grade backend engineering, contributing to influential open-source projects like ring (crypto primitives/Ed25519) and Trail of Bits' DeepState (test execution and fuzzing infrastructure). At Microsoft he advanced dynamic binary analysis and fuzzing platforms, and his contributions to OneFuzz and Certbot show a practical focus on operational robustness and secure automation. Joe holds a B.S. in Mathematics and has a history of tightening low-level security primitives—such as RSA blinding optimizations—demonstrating both deep cryptographic understanding and pragmatic performance trade-offs.
15 years of coding experience
14 years of employment as a software developer
Non-matriculated, Mathematics, Non-matriculated, Mathematics at University of WashingtonBachelor of Science (B.S.), Mathematics, Bachelor of Science (B.S.), Mathematics at Arizona State UniversityNon-matriculated, Mathematics, Non-matriculated, Mathematics at Portland State University
English
Github Skills (30)
python10
abstract-syntax-tree10
api-client10
process-management10
test-framework10
c1110
rsa10
security10
c1710
parsing10
certbot10
parse10
cryptography10
ed2551910
curve10
Programming languages (16)
Github contributions (5)
microsoft/onefuzz
Sep 2020 - Jan 2023
A self-hosted Fuzzing-As-A-Service platform
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1528 reviews, 149 commits, 302 PRs in 2 years 4 months
Contributions summary:Joe contributed to the internal workings of the `onefuzz` platform, primarily focused on the supervisor agent. They made changes to handle telemetry, emitted setup script output, and added the functionality for stopping a node command. The user's contributions centered on process and service management, specifically around setup and execution of tasks.
securityhostedfuzzingattestationas-a-service
trailofbits/deepstate
Feb 2018 - Feb 2018
A unit test-like interface for fuzzing and symbolic execution
Role in this project:Backend Developer & Test Automation Engineer
Backend Developer & Test Automation EngineerContributions:86 commits, 10 PRs, 32 pushes in 19 days
Contributions summary:Joe primarily contributed to the implementation of test case execution functionality within the `deepstate` repository. Their work involved modifying existing code to support running saved test cases, including initializing input buffers and integrating with file input. They also refactored the code by extracting functionalities and added features like forking for test executions to accommodate future features like crashing tests. These changes demonstrate an effort to improve and extend the testing capabilities of the project.
property-based-testingsymbolic-executiontesting-frameworktestingunit
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.