Ever wanted to learn more about formally verifying protocols such as Signal, Keybase and TLS, but were intimidated by existing tools?
Verifpal is protocol verification for students and engineers!
Come talk to me at #RealWorldCrypto to learn more: https://verifpal.com (1/2)
-
-
Oh My God the doc!



Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
An intuitive language for modeling and reasoning about complex protocols.