Joshua Gancher is an author at Cornell University specializing in data security, formal verification, and engineering.
Top concepts
EngineeringCryptographyData SecurityComputer ScienceFormal VerificationCompilersData PrivacyVerificationFormal MethodsProgram Analysis
Publications per year
2018–2021
2
2
Viaduct: an extensible, optimizing compiler for secure distributed programs
Coşku Acay, Rolph Recto, Joshua Gancher et al. · 2021 · 25 citations · Full text
Symbolic Proofs for Lattice-Based Cryptography
Gilles Barthe, Xiong Fan, Joshua Gancher et al. · 2018 · 12 citations · Full text
Rows per page
1–2 of 2