An RPKI Certificate Validator for Formal Correctness.

Yajun Teng, Wei Wang, Jingqiang Lin, Shijie Jia, Xiaoqi Jia

Browse the full ISPEC paper archive.