Martin Abadi
发表
Gordon D. Plotkin,
Martin Abadi,
2020,
Proc. ACM Program. Lang..
Ian Goodfellow,
Li Zhang,
Ilya Mironov,
2016,
CCS.