This video [SOSP 2021 Using Lightweight Formal Methods to Validate a Key ] has been shared from the internet. If you find it inappropriate or wish for it to be removed, kindly contact us, and we will promptly take it down. Thank you for your understanding and cooperation!