Login / Signup
Kunming Jiang
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Theorem Prover
Equational Theories
Formal Proof
Uncertain Data
Top Venues
IACR Cryptol. ePrint Arch.
SP
</>
Publications
</>
Kunming Jiang
,
Devora Chait-Roth
,
Zachary DeStefano
,
Michael Walfish
,
Thomas Wies
Less is more: refinement proofs for probabilistic proofs.
SP
(2023)
Kunming Jiang
,
Devora Chait-Roth
,
Zachary DeStefano
,
Michael Walfish
,
Thomas Wies
Less is more: refinement proofs for probabilistic proofs.
IACR Cryptol. ePrint Arch.
2022 (2022)