Travelled to:1 × USA
Collaborated with:H.Mai E.Pek H.Xue P.Madhusudan
Talks about:express (1) verifi (1) invari (1) secur (1)
Person: Samuel Talmadge King
DBLP: King:Samuel_Talmadge
Contributed to:
2013Wrote 1 papers:
- ASPLOS-2013-MaiPXKM #invariant #security #verification
- Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.