Travelled to:2 × USA
Collaborated with:C.Hawblitzel J.Howell J.R.Lorch B.Parno A.Narayan D.Zhang M.Kapritsos M.L.Roberts S.T.V.Setty
Talks about:system (2) end (2) distribut (1) ironclad (1) practic (1) correct (1) verif (1) secur (1) prove (1) fleet (1)
Person: Brian Zill
DBLP: Zill:Brian
Contributed to:
2015
2014Wrote 2 papers:
- SOSP-2015-HawblitzelHKLPR #distributed #named #proving
- IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.
- 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.