Barry Bond
Seattle, Washington, United States
Summary
🤩
RockstarBarry Bond is a retired Principal Software Engineer with nine years of recent experience at Microsoft and a long career in systems, virtualization, and compatibility engineering. He led kernel and CPU-emulation work that enabled Xbox 360 backward compatibility, designed WOW64 and other cross-architecture emulation layers, and contributed to cloud and HCI projects across Microsoft. At Microsoft Research he focused on verified security protocols and interoperability, contributing to the miTLS effort and bridging verification toolchains. He later worked on Azure Sphere, building secure connected MCU solutions, and in open source he improved MSVC compatibility and fixed AES bugs in the formally verified HACL* cryptographic library. Based in Seattle, he blends deep systems architecture and security expertise with practical cross-platform engineering and a penchant for making complex low-level systems robust and portable.
9 years of coding experience
29 years of employment as a software developer
Stackoverflow
51reputation
6kreached
1answer
0questions
Github Skills (12)
c1710
security10
compiler10
formal-verification10
high-performance10
c1110
cryptography10
formal-methods9
x86-649
assembly9
windows6
wmi6
Programming languages (11)
Github contributions (5)
hacl-star/hacl-star
Jan 2018 - Jun 2018
HACL*, a formally verified cryptographic library written in F*
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:21 commits, 2 PRs, 12 pushes in 4 months
Contributions summary:Barry primarily focused on enhancing the build and compilation process of the cryptographic library HACL*. They made multiple changes to ensure compatibility with the MSVC compiler, addressing compilation errors and leveraging platform-specific directives. The user's contributions included adjusting code for Windows environments, integrating memory allocation functions, and fixing AES-256 key expansion bugs. Additionally, the user updated baseline test results to match the latest version of the QUIC draft.
inriacoq-librarycryptographicformal-verificationverified
mitls/mitls-curl
Jun 2016 - Nov 2018
Contributions:27 commits, 2 pushes in 2 years 4 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.