Verified Query Results from Hybrid Authentication Trees.

Glen Nuckolls

Browse the full DBSEC paper archive.