2 papers
cs.LO2020
Verification of the IBOS Browser Security Properties in Reachability Logic
Stephen Skeirik, José Meseguer, Camilo Rocha
This paper presents a rewriting logic specification of the Illinois Browser Operating System (IBOS) and defines several security properties, including the same-origin policy (SOP)…
cs.PL2017
A Constructor-Based Reachability Logic for Rewrite Theories
Stephen Skeirik, Andrei Stefanescu, José Meseguer
Reachability logic has been applied to rewrite-rule-based language definitions as a language-generic logic of programs. To be able to verify not just code but also dis…