5
Publications
296
Citations
5
H-Index
2008
Active since
Affiliations
University of California, Irvine(Current)
Todd Jackson is an author at University of California, Irvine specializing in computer science, engineering, and software testing.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSystem SoftwareSoftware SecurityComputer EngineeringHardware SecurityFormal Verification
Publications per year
2008–2015
5
5
Babak Salamat, Todd Jackson, Andreas Gal et al. · 2009 · 132 citations
Hardware Security, Simultaneous Execution, Functioning Mvee +15
Rows per page
1–5 of 5