Spiridon Eliopoulos is an author at John Brown University specializing in program analysis, formal verification, and engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware SecurityAutomated ReasoningFormal Verification
Publications per year
2015–2015
1
1
ADsafety: Type-Based Verification of JavaScript Sandboxing
Joe Gibbs Politz, Spiridon Eliopoulos, Arjun Guha et al. · arXiv (Cornell University) · 2015 · 74 citations · Full text
Rows per page
1–1 of 1