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

Minjian Zhang

  1. Stack-Aware Hyperproperties
    2023/01/27 by Ali Bajwa, Minjian Zhang, Bajwa, Ali +5 · 1 voice
    Computer Science · Social Sciences · #Access Control and Trust #Distributed systems and fault tolerance #Logic, programming, and type systems #cs.CR #cs.FL #cs.LO