Login / Signup
Michael Hanling
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
File Transfer
Theorem Proving
Network Communication
Equational Theories
Top Venues
CoRR
USENIX Security Symposium
CCS
</>
Publications
</>
Gaspard Anthoine
,
Jean-Guillaume Dumas
,
Mélanie de Jonghe
,
Aude Maignan
,
Clément Pernet
,
Michael Hanling
,
Daniel S. Roche
Dynamic proofs of retrievability with low server storage.
USENIX Security Symposium
(2021)
Gaspard Anthoine
,
Jean-Guillaume Dumas
,
Michael Hanling
,
Mélanie de Jonghe
,
Aude Maignan
,
Clément Pernet
,
Daniel S. Roche
Dynamic proofs of retrievability with low server storage.
CoRR
(2020)
Michael Hanling
,
Gaspard Anthoine
,
Jean-Guillaume Dumas
,
Aude Maignan
,
Clément Pernet
,
Daniel S. Roche
Poster: Proofs of Retrievability with Low Server Storage.
CCS
(2019)