Login / Signup
Bram Cohen
Publication Activity (10 Years)
Years Active: 1993-2018
Publications (10 Years): 4
Top Topics
Memory Usage
Trade Off
Theorem Prover
Dimensionality Reduction
Top Venues
IACR Cryptol. ePrint Arch.
ASIACRYPT (2)
EUROCRYPT (2)
</>
Publications
</>
Bram Cohen
,
Krzysztof Pietrzak
Simple Proofs of Sequential Work.
EUROCRYPT (2)
(2018)
Bram Cohen
,
Krzysztof Pietrzak
Simple Proofs of Sequential Work.
IACR Cryptol. ePrint Arch.
2018 (2018)
Hamza Abusalah
,
Joël Alwen
,
Bram Cohen
,
Danylo Khilko
,
Krzysztof Pietrzak
,
Leonid Reyzin
Beyond Hellman's Time-Memory Trade-Offs with Applications to Proofs of Space.
ASIACRYPT (2)
(2017)
Hamza Abusalah
,
Joël Alwen
,
Bram Cohen
,
Danylo Khilko
,
Krzysztof Pietrzak
,
Leonid Reyzin
Beyond Hellman's Time-Memory Trade-Offs with Applications to Proofs of Space.
IACR Cryptol. ePrint Arch.
2017 (2017)
Len Sassaman
,
Bram Cohen
,
Nick Mathewson
The pynchon gate: a secure method of pseudonymous mail retrieval.
WPES
(2005)
Bart Selman
,
Henry A. Kautz
,
Bram Cohen
Noise Strategies for Improving Local Search.
AAAI
(1994)
Bart Selman
,
Henry A. Kautz
,
Bram Cohen
Local search strategies for satisfiability testing.
Cliques, Coloring, and Satisfiability
(1993)