Login / Signup
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs.
Sebastian Angel
Eleftherios Ioannidis
Elizabeth Margolin
Srinath T. V. Setty
Jess Woods
Published in:
USENIX Security Symposium (2024)
Keyphrases
</>
domain knowledge
knowledge base
expert systems
knowledge acquisition
knowledge representation
knowledge management
user interaction
data sets
theorem proving
databases
wireless sensor networks
structural properties
coral reef