E-LIB Suche - Ergebnisse für: Gancher, Joshua

1

A Core Calculus for Equational Proofs of Cryptographic Prot..:

Gancher, Joshua ; Sojakova, Kristina ; Fan, Xiong..
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 866-892 , 2023

Link: https://doi.org/10.1145/..

2

Owl: Compositional Verification of Security Protocols via a..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),

Gancher, Joshua ; Gibson, Sydney ; Singh, Pratap.. - p. 1130-1147 , 2023

Link: https://doi.org/10.1109/..

3

Viaduct: an extensible, optimizing compiler for secure dist..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Acay, Coşku ; Recto, Rolph ; Gancher, Joshua.. - p. 740-755 , 2021

Link: https://dl.acm.org/doi/1..

4

Symbolic Proofs for Lattice-Based Cryptography:

, In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security,

Barthe, Gilles ; Fan, Xiong ; Gancher, Joshua... - p. 538-555 , 2018

Link: https://dl.acm.org/doi/1..

5

Externally Verifiable Oblivious RAM:

Gancher, Joshua ; Groce, Adam ; Ledger, Alex
Proceedings on Privacy Enhancing Technologies. 2017 (2017) 2 - p. 149-171 , 2017

Link: https://doi.org/10.1515/..

6

Secure Synthesis of Distributed Cryptographic Applications ..:

Acay, Coşku ; Gancher, Joshua ; Recto, Rolph.
http://arxiv.org/abs/2401.04131. , 2024

Link: http://arxiv.org/abs/240..

7

A Core Calculus for Equational Proofs of Cryptographic Prot..:

Gancher, Joshua ; Sojakova, Kristina ; Fan, Xiong..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3571223. , 2023

Link: https://inria.hal.scienc..

8

A Core Calculus for Equational Proofs of Cryptographic Prot..:

Gancher, Joshua ; Sojakova, Kristina ; Fan, Xiong..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3571223. , 2023

Link: https://inria.hal.scienc..

9

WaveCert: Formal Compiler Validation for Asynchronous Dataf..:

Lin, Zhengyao ; Gancher, Joshua ; Parno, Bryan
http://arxiv.org/abs/2312.09326. , 2023

Link: http://arxiv.org/abs/231..

10

Equational Reasoning for Verified Cryptographic Security:

Gancher, Joshua
Gancher_cornellgrad_0058F_12775. , 2021

Link: https://hdl.handle.net/1..

11

Symbolic Proofs for Lattice-Based Cryptography:

Barthe, Gilles ; Fan, Xiong ; Gancher, Joshua...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3243734.3243825. , 2018

Link: https://hal.science/hal-..

12

Symbolic Proofs for Lattice-Based Cryptography:

Barthe, Gilles ; Fan, Xiong ; Gancher, Joshua...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3243734.3243825. , 2018

Link: https://hal.archives-ouv..

13

Symbolic Proofs for Lattice-Based Cryptography:

Barthe, Gilles ; Fan, Xiong ; Gancher, Joshua...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3243734.3243825. , 2018

Link: https://hal.science/hal-..

14

Developing Interactive Antimicrobial Stewardship and Infect..:

Nori, Priya ; Madaline, Theresa ; Munjal, Iona...
Open Forum Infectious Diseases. 4 (2017) 3 - p. , 2017

Link: https://doi.org/10.1093/..

15

Developing Interactive Antimicrobial Stewardship and Infect..:

Nori, Priya ; Madaline, Theresa ; Munjal, Iona...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC5522578/. , 2017

Link: http://www.ncbi.nlm.nih...