Sydney Gibson
sydgibs [at] gmail [dot] com
Hello! I'm Sydney Gibson. I am a security engineering manager at Google, where I lead efforts to secure products that use AI.
Previously, I led an engineering team that built and deployed
secure manufacturing systems
for open source–based, high-performance AI chips. I also
helped raise $10 million
in funding. Earlier in my career,
I worked as a software engineer at Aurora, where I did a wide range of work leading up to the
launch of the first
driverless long-haul truck.
I spent time in academia as a Ph.D. student in the Computer Science Department at Carnegie Mellon University and as a
researcher at Google.
During this time, I formally verified cryptographic security routines for
OpenTitan, which became the first
commercial open silicon
chip. I was also a member of the
Everest Project, where I contributed to multiple verification
frameworks that came out of the project.
I received a National Science Foundation (NSF) Graduate Research Fellowship in 2020, and left my program in 2022.
I received my B.S. and
M.Eng.
from MIT's Electrical Engineering and Computer Science Department. While there, I
worked with the Parallel and Distributed Operating Systems group.
The best way to contact me is through email or
LinkedIn.
Disambiguation: I have many talents, but writing fiction is not one of them. Sydney Gibson the
indie author
is not me.
Project Everest: Perspectives from Developing Industrial-Grade High-Assurance
Software
Daniel Ahman, Karthikeyan Bhargavan, Barry Bond, Jay Bosamiya, Christopher Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin
TOPLAS | May 2026 |
Paper
Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares
Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno
ACM CCS 2023 | November 2023 |
Paper
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, and Bryan Parno
IEEE S&P 2023| May 2023 |
Paper
Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney
Gibson, Guido Martínez, Denis Merigoux, and Tahina
Ramananandro
ICFP 2021 | August 2021 |
Paper
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, and Chris Hawblitzel
VSTTE 2020 | July 2020 |
Paper