A Provably Secure True Random Number Generator with Built-In Tolerance to Active Attacks | Synapse