[top] [TitleIndex] [WordIndex]

uwcrypto/sched/koblitz20071010

"Automated Theorem-Proving -- A Panacea for the Woes of Theoretical Cryptography?"

This talk is in the spirit of my recent Notices article...


2013-05-11 18:34