Jun 2020 – Mar 2021 · 9 mos · Montpelier, VT · Remote

• Wrote a new implementation of the Signal protocol in Rust (https://github.com/signalapp/libsignal) and helped the mobile and desktop teams integrate it into the applications. [Rust, cryptography, Java, Swift]

Nov 2018 – Jun 2020 · 1 yr 7 mos · Montpelier, VT · Remote

• Worked on Fortanix's FIPS L3 validated HSM product. Projects included designing and writing KMIP server endpoint and Windows CryptoAPI driver, adding post-quantum algorithm support, side channel hardening, certificate management functionality, and additions to the plugin system. [Rust, C, cryptography]

Mar 2017 – Nov 2018 · 1 yr 8 mos · Montpelier, VT

• Development of cryptographic software in Rust, C, and C++. Security review of software and protocols. Developer training on secure coding and use of cryptography.

Dec 2009 – Mar 2017 · 7 yrs 3 mos · Montpelier, VT · Remote

• Improving the security and performance of a distributed system underpinning Broadway's turnkey trading platform. [C++, Python, Linux]

Feb 2007 – Aug 2008 · 1 yr 6 mos · New York, NY

• Was 4th engineer to join a team building a platform for HFT of equity options. Wrote and owned the price distribution, P&L reporting, and trade reconciliation systems. [C++, Python, Linux]

Mar 2006 – Jan 2007 · 10 mos · Washington DC

• Reviewed the design and implementation of cryptographic systems. Developed a static analyzer for PHP in C#.

Aug 2005 – Mar 2006 · 7 mos · McLean, VA

• Reviewed cryptographic implementations developed by Atlan's customers, and validated them against FIPS-140, a US government standard which specifies security and design requirements for cryptographic systems. Created and improved test tools to reduce engineer effort of common validation tasks.

Jan 2004 – Aug 2005 · 1 yr 7 mos · Herndon, VA

• I reviewed customer applications and networks for security flaws, built new test and attack tools, and provided training to customers on secure programming techniques.