Transparency Dictionaries with Succinct Proofs of Correct Operation.

Ioanna Tzialla Abhiram Kothapalli Bryan Parno Srinath Setty

Published in: NDSS (2022)

Keyphrases

theorem proving
formal proofs
real time
feature space
artificial neural networks
databases
data mining
learning algorithm
face recognition
sparse representation
mathematical proofs