Travelled to:3 × USA
Collaborated with:C.Hawblitzel J.Howell J.R.Lorch B.Zill J.M.McCune A.Perrig M.K.Reiter A.Seshadri Aymeric Fromherz N.Giannarakis A.Rastogi N.Swamy A.Narayan D.Zhang M.Kapritsos M.L.Roberts S.T.V.Setty
Talks about:verifi (2) system (2) end (2) recommend (1) distribut (1) ironclad (1) support (1) practic (1) languag (1) hardwar (1)
Person: Bryan Parno
DBLP: Parno:Bryan
Contributed to:
2015
2014
2008
2019Wrote 4 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.
- ASPLOS-2008-McCunePPRS #execution #how #recommendation
- How low can you go?: recommendations for hardware-supported minimal TCB code execution (JMM, BP, AP, MKR, AS), pp. 14–25.
- POPL-2019-FromherzGHPRS #assembly #performance
- A verified, efficient embedding of a verifiable assembly language (AF, NG, CH, BP, AR, NS), p. 30.