6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
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…