Login / Signup
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS.
Reynald Affeldt
David Nowak
Kiyoshi Yamada
Published in:
IACR Cryptol. ePrint Arch. (2009)
Keyphrases
</>
formal proofs
data mining
case based reasoning
case base
formal proof