Login / Signup
Philip Hodges
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Theorem Prover
Access Control
Generation Process
Expectation Maximization
Top Venues
IACR Cryptol. ePrint Arch.
CCS
IACR Trans. Symmetric Cryptol.
</>
Publications
</>
Tim Güneysu
,
Philip Hodges
,
Georg Land
,
Mike Ounsworth
,
Douglas Stebila
,
Greg Zaverucha
Proof-of-possession for KEM certificates using verifiable generation.
IACR Cryptol. ePrint Arch.
2022 (2022)
Tim Güneysu
,
Philip Hodges
,
Georg Land
,
Mike Ounsworth
,
Douglas Stebila
,
Greg Zaverucha
Proof-of-Possession for KEM Certificates using Verifiable Generation.
CCS
(2022)
Philip Hodges
,
Douglas Stebila
Algorithm Substitution Attacks: State Reset Detection and Asymmetric Modifications.
IACR Trans. Symmetric Cryptol.
2021 (2) (2021)