Joshua Gancher

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 13

Top Topics

Equational Theories

Connectionist Learning

Technical Report

Top Venues

IACR Cryptol. ePrint Arch.

Proc. ACM Program. Lang.

Publications

Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers
Secure Synthesis of Distributed Cryptographic Applications (Technical Report). CoRR (2024)
Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi, Greg Morrisett
A Core Calculus for Equational Proofs of Cryptographic Protocols. Proc. ACM Program. Lang. 7 (POPL) (2023)
Zhengyao Lin, Joshua Gancher, Bryan Parno
WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs. CoRR (2023)
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)
Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report). IACR Cryptol. ePrint Arch. 2021 (2021)
Greg Morrisett, Elaine Shi, Kristina Sojakova, Xiong Fan, Joshua Gancher
IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols. IACR Cryptol. ePrint Arch. 2021 (2021)
Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi
Viaduct: an extensible, optimizing compiler for secure distributed programs. PLDI (2021)
Xiong Fan, Joshua Gancher, Greg Morrisett, Elaine Shi, Kristina Sojakova
IPDL: A Probabilistic Dataflow Logic for Cryptography. IACR Cryptol. ePrint Arch. 2019 (2019)
Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi
Symbolic Proofs for Lattice-Based Cryptography. IACR Cryptol. ePrint Arch. 2018 (2018)
Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi
Symbolic Proofs for Lattice-Based Cryptography. CCS (2018)
Joshua Gancher, Adam Groce, Alex Ledger
Externally Verifiable Oblivious RAM. Proc. Priv. Enhancing Technol. 2017 (2) (2017)
Joshua Gancher, Adam Groce, Alex Ledger
Externally Verifiable Oblivious RAM. IACR Cryptol. ePrint Arch. 2017 (2017)