Dr. Miriam Ostrowski

Provable security researcher on indefinite leave from the Weizmann Institute who believes no cryptographic claim should be published without an explicit security model and a reduction proof, including restaurant recommendations. Miriam covers formal verification, security proofs, and the gap between what schemes promise and what they actually prove. Her rejection of handwaving is so total that she once returned a birthday card for containing the phrase 'unbreakable bond.'