Concepedia

Sean Bowe

SB

6

Publications

410

Citations

6

H-Index

2017

Active since

Affiliations

Johns Hopkins University(Current)

Sean Bowe is an author at Johns Hopkins University specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceCryptographyFormal MethodsFormal VerificationVerificationAutomated ReasoningData PrivacyData SecurityProof Complexity

Publications per year

2017–2020

6

Publications

6

Sonic

Mary Maller, Sean Bowe, Markulf Kohlweiss et al. · 2019 · 259 citations · Full text

Structured Reference Strings, Secure Multi-party Computation, Cryptographic Primitive +15

Scalable Multi-party Computation for zk-SNARK Parameters in the Random Beacon Model.

Sean Bowe, Ariel Gabizon, Ian Miers · IACR Cryptology ePrint Archive · 2017 · 66 citations

Secure Multi-party Computation, Cryptographic Primitive, Engineering +8

Halo: Recursive Proof Composition without a Trusted Setup.

Sean Bowe, Jack Grigg, D. Hopwood · IACR Cryptology ePrint Archive · 2019 · 43 citations

Trusted Setup, Engineering, Automated Reasoning +6

ZEXE: Enabling Decentralized Private Computation

Sean Bowe, Alessandro Chiesa, Matthew Green et al. · 2020 · 16 citations · Full text

State Transition, Cryptographic Primitive, Engineering +18

A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK.

Sean Bowe, Ariel Gabizon, Matthew Green · 2017 · 16 citations

Engineering, Verification, Fraudulent Pseudoproofs +16

Rows per page

1–5 of 6