Secure Guarded Commands.

Published in: From Lambda Calculus to Cybersecurity Through Program Analysis (2020)