+
+
+Position Paper: A Case for Machine-Checked Verification of Circumvention Systems
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Vitor Pereira, Ahmed Irfan, Vinod Yegneswaran, Nick Feamster, Prateek Mittal, Vitaly Shmatikov
+
+
+
+In Proc. of: Free and Open Communications on the Internet, 2025
+
+