Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols.
José Bacelar AlmeidaManuel BarbosaEndre BangerterGilles BartheStephan KrennSantiago Zanella BéguelinPublished in: CCS (2012)
Keyphrases
- domain knowledge
- databases
- knowledge base
- knowledge management
- knowledge acquisition
- neural network
- data sets
- knowledge extraction
- knowledge transfer
- knowledge representation
- logical rules
- knowledge sharing
- computationally efficient
- case based reasoning
- knowledge discovery
- prior knowledge
- database systems
- information systems