Northeastern University#
1 picked talk across 1 digest with a speaker from Northeastern University, newest first.
USENIX Security '25 (34th USENIX Security Symposium)#
- Towards Practical, End-to-End Formally Verified X.509 Certificate Validators (Verdict) · Core — Zhengyao Lin et al., Carnegie Mellon University; Northeastern University — Core