6 citations · 6 across the 2 of their papers we have counts for
1 paper · 2 filters
Marco Patrignani, Sam Blackshear
A program that maintains key safety properties even when interacting with arbitrary untrusted code is said to enjoy \emph{robust safety}. Proving that a program written in a mainst…