Verifying Code That Calls Code You Can't Trust • Sophia Drossopoulou • Bug Bash EU 2026
0:00 · Watch on YouTube
The video introduces extended assertion language for external objects and two notions of protection, concluding the "cannot eventually get access" ingredient before pivoting to invariance via a slightly different inva...