Browsing by Author Sanan, David

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2019Refinement-based specification and security analysis of separation kernelsZhao, Yongwang; Sanan, David; Zhang, Fuyuan; Liu, Yang