Login / Signup
Sydney Gibson
ORCID
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.
VSTTE
IACR Cryptol. ePrint Arch.
CCS
</>
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)