Sydney Gibson

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Cut Elimination

Conditional Logic

Sequent Calculus

Concurrent Programming

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. SP (2023)
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. IACR Cryptol. ePrint Arch. 2023 (2023)
Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno
Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares. CCS (2023)
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro
Steel: proof-oriented programming in a dependently typed concurrent separation logic. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. VSTTE (2020)