Sydney Gibson

According to our database, Sydney Gibson authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.

Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno

IACR Cryptol. ePrint Arch., 2023

Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares.

Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021

Steel: proof-oriented programming in a dependently typed concurrent separation logic.

Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro

Proc. ACM Program. Lang., 2021

2020

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.

Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel

Proceedings of the Software Verification - 12th International Conference, 2020