Stem ironclad$ (all stems)

2 papers:

OSDI-2014-HawblitzelHLNPZZ #automation #security #verification

Ironclad Apps: End-to-End Security via Automated Full-System Verification (CH, JH, JRL, AN, BP, DZ, BZ), pp. 165–181.

OOPSLA-2013-DeLozierENOMZ #c++ #set #type safety

Ironclad C++: a library-augmented type-safe subset of c++ (CD, RAE, SN, PMO, MMKM, SZ), pp. 287–304.