SEVIL: Secure and Efficient VerifIcation over Massive Proofs of KnowLedge.
Souha MasmoudiMaryline LaurentNesrine KaanichePublished in: SECRYPT (2022)
Keyphrases
- expert systems
- domain knowledge
- knowledge representation
- knowledge acquisition
- high security
- knowledge discovery
- knowledge base
- knowledge extraction
- lightweight
- artificial intelligence
- learning systems
- data analysis
- data sets
- prior knowledge
- design process
- metadata
- face verification
- cost efficient
- enormous amounts
- formal proof