Afshin Lamei

Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values

2020 · Zenodo (CERN European Organization for Nuclear Research)

Program rewriting is defined as transforming a given program into one satisfying some intended properties. This technique has recently been suggested as a means for enforcing security policies. In this paper, we propose rewriting mechanisms …