A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm
The Exact Security of Digital Signatures-How to Sign with RSA and Rabin