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

Bay, Johan

  1. Reconciling progress-insensitive noninterference and declassification
    2020/05/05 by Bay, Johan, Askarov, Aslan · 3 citations
    #FOS: Computer and information sciences #Programming Languages (cs.PL)