Login / Signup
Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.
José Bacelar Almeida
Manuel Barbosa
Endre Bangerter
Gilles Barthe
Stephan Krenn
Santiago Zanella Béguelin
Published in:
IACR Cryptol. ePrint Arch. (2012)
Keyphrases
</>
knowledge management
knowledge acquisition
knowledge base
knowledge representation
domain knowledge
case based reasoning
knowledge sharing
cellular automata
knowledge transfer
lightweight
domain experts
sufficient conditions
theorem proving
computationally efficient
higher level
database
bayesian networks
databases