The research team of David Basin is verifying the correctness of SCION’s design and security protocols. The video below explains the mechanisms and approaches that used for the verification.