Danny Dolev
Israelisk datavetare vid Hebreiska universitetet vars angriparmodell med Andrew Yao fortfarande är standardmotståndaren i protokollanalys.
I uppsatsen On the Security of Public Key Protocols (1983) gav Dolev och Andrew Yao angriparen hela nätet: den kan läsa, stoppa, ändra och skicka vilka meddelanden som helst, men inte knäcka själva kryptot. Idén var att skilja protokollets logik från algoritmernas styrka. Det visade sig att många protokoll faller redan där — utan att en enda nyckel behöver gissas.
Samma år publicerade han med Ray Strong Dolev–Strong-protokollet för autentiserad bysantinsk överenskommelse, som tål godtyckligt många förrädare om meddelandena är signerade. Dolev–Yao-modellen ligger i dag till grund för automatiska verktyg för formell verifiering av bland annat TLS.