John Loucaides is an author at Intel (United Kingdom) specializing in formal methods, hardware security, and system software.
Top concepts
EngineeringData SecurityFormal MethodsSystem SoftwareSystems BiologyComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware Analysis
Publications per year
2015–2015
1
1
Symbolic execution for BIOS security
Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum et al. · 2015 · 19 citations
Rows per page
1–1 of 1