Phoenix: A Formally Verified Regenerating Vault.

Uri Kirstein Shelly Grossman Michael Mirkin James Wilcox Ittay Eyal Mooly Sagiv

Published in: CoRR (2021)

Keyphrases

image processing
data structure
failure recovery
information retrieval
search engine
information systems
training data
object recognition
image analysis
change detection
fault tolerance