Collaborated with:
D.Zhang
Talks about:
framework (1) depend (1) secur (1) label (1) infer (1) deriv (1)
Person: Peixuan Li
DBLP: Li:Peixuan
Contributed to:
Wrote 1 papers:
- OOPSLA-2018-LiZ #framework #security
- A derivation framework for dependent security label inference (PL, DZ), p. 26.