Statistics
Publications
1
Citations
202
H-Index
1
Active since
2013
Affiliations
Data61(Current)
Matthew Brassil is an author at Data61 specializing in system software, hardware security, and data security.
Publications per year
2013–2013
1
1
seL4: From General Purpose to a Proof of Information Flow Enforcement
Toby Murray, Daniel Matichuk, Matthew Brassil et al. · 2013 · 202 citations · Full text
1–1 of 1