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

Tiwari, Mukesh

  1. Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)
    2023/09/07 by Murray, Toby, Tiwari, Mukesh, Ernst, Gidon +1 · 1 citation
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences