Joshua Gancher

An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report)

E. Shi, A. Myers, Cosku Acay, 2021 .

Replication Package for Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs

Andrew C. Myers, Joshua Gancher, Rolph Recto, 2021, Artifact Digital Object Group.

Externally Verifiable Oblivious RAM

Adam Groce, Joshua Gancher, Alex Ledger, 2017, IACR Cryptol. ePrint Arch..

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

Bryan Parno, Joshua Gancher, Pratap Singh, 2023, IACR Cryptology ePrint Archive.

Symbolic Proofs for Lattice-Based Cryptography

Elaine Shi, Benjamin Grégoire, Gilles Barthe, 2018, IACR Cryptol. ePrint Arch..

A Core Calculus for Equational Proofs of Cryptographic Protocols

G. Morrisett, Xiong Fan, Joshua Gancher, 2023, Proc. ACM Program. Lang..

Viaduct: an extensible, optimizing compiler for secure distributed programs

Elaine Shi, Andrew C. Myers, Joshua Gancher, 2021, IACR Cryptol. ePrint Arch..

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)

Rolph Recto, Joshua Gancher, Andrew C. Myers, 2024, 2401.04131.