Joshua Gancher -

Registered user since Thu 22 Dec 2022

Name:Joshua Gancher

Country:United States

Affiliation:Carnegie Mellon University

Personal website: https://gancher.dev

Contributions

2023

SPLASH

Committee Member in Reviewers within the Student Research Competition-track

POPL

Author of A Core Calculus for Equational Proofs of Cryptographic Protocols within the POPL-track

PriSC

Author of Universally Composable Security for Program Partitioning within the PriSC 2023-track

2021

PLDI

Author of Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs within the PLDI-track

PriSC

Author of Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs within the PriSC 2021-track