Matthew Brassil is an author at Data61 specializing in system software, hardware security, and data security.
Top concepts
EngineeringCryptographyData PrivacyVerificationData SecurityFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisHardware 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
Rows per page
1–1 of 1