Joshua Gancher

23 papers A* 7A 1Journal 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols.
CoRR
Kristina Sojakova, Mihai Codescu, Joshua Gancher
2025 A* conf
ILA: Correctness via Type Checking for Fully Homomorphic Encryption.
CCS
Tarakaram Gollamudi, Anitha Gollamudi, Joshua Gancher
2025 J jnl
ILA: Correctness via Type Checking for Fully Homomorphic Encryption.
CoRR
Tarakaram Gollamudi, Anitha Gollamudi, Joshua Gancher
2025 A* conf
OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries.
USENIX Security Symposium
Pratap Singh, Joshua Gancher, Bryan Parno
2025 J jnl
OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries.
IACR Cryptol. ePrint Arch.
Pratap Singh, Joshua Gancher, Bryan Parno
2025 A* conf
Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict.
USENIX Security Symposium
Zhengyao Lin, Michael McLoughlin, Pratap Singh, Rory Brennan-Jones, Paul Hitchcox, Joshua Gancher, Bryan Parno
2025 A* conf
Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust.
USENIX Security Symposium
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
2024 J jnl
FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions.
Proc. ACM Program. Lang.
Zhengyao Lin, Joshua Gancher, Bryan Parno
2024 J jnl
Secure Synthesis of Distributed Cryptographic Applications (Technical Report).
CoRR
Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers
2024 A conf
Secure Synthesis of Distributed Cryptographic Applications.
CSF
Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers
2023 J jnl
A Core Calculus for Equational Proofs of Cryptographic Protocols.
Proc. ACM Program. Lang.
Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi, Greg Morrisett
2023 A* conf
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.
SP
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
2023 J jnl
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.
IACR Cryptol. ePrint Arch.
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
2023 J jnl
WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs.
CoRR
Zhengyao Lin, Joshua Gancher, Bryan Parno
2021 — —
Equational Reasoning for Verified Cryptographic Security.
Joshua Gancher
2021 J jnl
IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols.
IACR Cryptol. ePrint Arch.
Greg Morrisett, Elaine Shi, Kristina Sojakova, Xiong Fan, Joshua Gancher
2021 J jnl
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report).
IACR Cryptol. ePrint Arch.
Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
2021 A* conf
Viaduct: an extensible, optimizing compiler for secure distributed programs.
PLDI
Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
2019 J jnl
IPDL: A Probabilistic Dataflow Logic for Cryptography.
IACR Cryptol. ePrint Arch.
Xiong Fan, Joshua Gancher, Greg Morrisett, Elaine Shi, Kristina Sojakova
2018 A* conf
Symbolic Proofs for Lattice-Based Cryptography.
CCS
Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi
2018 J jnl
Symbolic Proofs for Lattice-Based Cryptography.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi
2017 J jnl
Externally Verifiable Oblivious RAM.
IACR Cryptol. ePrint Arch.
Joshua Gancher, Adam Groce, Alex Ledger
2017 J jnl
Externally Verifiable Oblivious RAM.
Proc. Priv. Enhancing Technol.
Joshua Gancher, Adam Groce, Alex Ledger