author: C Hawblitzel
files:
- osdi14-paper-hawblitzel.pdf.pdf
tags: master
title: 'Ironcald Apps: end-to-end security via automated full-system verification'
year: '2014'
