2
Publications
108
Citations
2
H-Index
2011
Active since
Affiliations
Elijah Taylor is an author at University College London specializing in software analysis, formal verification, and data security.
Top concepts
CompilersEngineeringData SecurityFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware Analysis
Publications per year
2011–2011
2
2
Rows per page
1–2 of 2