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

Kremer, Steve

  1. Automated analysis of security protocols with global state
    2014/03/05 by Kremer, Steve, Künnemann, Robert · 1 citation
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences