Joshua Gancher

According to our database, Joshua Gancher authored at least 13 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions.

Zhengyao Lin, Joshua Gancher, Bryan Parno

Proc. ACM Program. Lang., 2024

Secure Synthesis of Distributed Cryptographic Applications (Technical Report).

Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers

CoRR, 2024

Secure Synthesis of Distributed Cryptographic Applications.

Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

A Core Calculus for Equational Proofs of Cryptographic Protocols.

Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi, Greg Morrisett

Proc. ACM Program. Lang., January, 2023

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

Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno

IACR Cryptol. ePrint Arch., 2023

WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs.

Zhengyao Lin, Joshua Gancher, Bryan Parno

CoRR, 2023

2021

Equational Reasoning for Verified Cryptographic Security.

Joshua Gancher

PhD thesis, 2021

IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols.

Greg Morrisett, Elaine Shi, Kristina Sojakova, Xiong Fan, Joshua Gancher

IACR Cryptol. ePrint Arch., 2021

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

Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi

IACR Cryptol. ePrint Arch., 2021

Viaduct: an extensible, optimizing compiler for secure distributed programs.

Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2019

IPDL: A Probabilistic Dataflow Logic for Cryptography.

Xiong Fan, Joshua Gancher, Greg Morrisett, Elaine Shi, Kristina Sojakova

IACR Cryptol. ePrint Arch., 2019

2018

Symbolic Proofs for Lattice-Based Cryptography.

Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi

IACR Cryptol. ePrint Arch., 2018

2017

Externally Verifiable Oblivious RAM.

Joshua Gancher, Adam Groce, Alex Ledger

Proc. Priv. Enhancing Technol., 2017