Sunjay Cauligi
发表
Deian Stefan,
John Renner,
Conrad Watt,
2018,
Proc. ACM Program. Lang..
Peter Schwabe,
Kevin Liao,
Tamara Rezk,
2020,
IACR Cryptol. ePrint Arch..
Craig Disselkoen,
Deian Stefan,
Tamara Rezk,
2020,
PLDI.
Deian Stefan,
Ranjit Jhala,
Fraser Brown,
2017,
2017 IEEE Cybersecurity Development (SecDev).
Craig Disselkoen,
Deian Stefan,
Ranjit Jhala,
2020,
Proc. ACM Program. Lang..
Benjamin Grégoire,
Gilles Barthe,
Deian Stefan,
2019,
PLDI.
Craig Disselkoen,
Gilles Barthe,
Deian Stefan,
2021
.
Shravan Narayan,
Craig Disselkoen,
Hovav Shacham,
2021,
USENIX Security Symposium.
Benjamin Grégoire,
Peter Schwabe,
Gilles Barthe,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Craig Disselkoen,
Gilles Barthe,
Deian Stefan,
2021,
ArXiv.