2020
APKeep: Realtime Verification for Real Networks.
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020