Statistics
Publications
4
Citations
244
H-Index
4
Active since
2004
Affiliations
Data61(Current)
Sean Seefried is an author at Data61 specializing in computer science, computing, and programming languages.
Publications per year
2004–2013
4
4
seL4: From General Purpose to a Proof of Information Flow Enforcement
Toby Murray, Daniel Matichuk, Matthew Brassil et al. · 2013 · 204 citations · Full text
André Pang, Don Stewart, Sean Seefried et al. · 2004 · 18 citations
Some Assembly Required - Program Analysis of Embedded System Code
Ansgar Fehnker, Ralf Huuck, Felix Rauch et al. · 2008 · 12 citations
Fade to Grey: Tuning Static Program Analysis
Ansgar Fehnker, Ralf Huuck, Sean Seefried et al. · Electronic Notes in Theoretical Computer Science · 2010 · 10 citations · Full text
1–4 of 4