Saul Garcia
interesting books and papers.
books
The Credential Society
Randall Collins
papers
Chainless Apps
Brian Seong, Paul Gebheim
Proof-Carrying Data
Chen, Chiesa, Gur, O'Connor, Spooner