Login / Signup
Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges.
Konstantinos Chalkias
Panagiotis Chatzigiannis
Yan Ji
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
theorem proving
theorem prover
mathematical proofs
decision procedures
formal proofs
formal proof
information retrieval
feature selection
first order logic
equational theories