vix.ing · top · new · best · stats · spec

Liskov, Moses

  1. Formal Methods Analysis of the Secure Remote Password Protocol
    2020/03/16 by Sherman, Alan T., Lanus, Erin, Liskov, Moses +7 · 1 citation
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences