3
Publications
95
Citations
3
H-Index
2018
Active since
Affiliations
Nick Roessler is an author at California University of Pennsylvania specializing in formal verification, engineering, and data security.
Top concepts
EngineeringData SecurityFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisSoftware SecurityFormal Verification
Publications per year
2018–2021
3
3
BreakApp: Automated, Flexible Application Compartmentalization
Nikos Vasilakis, Ben Karel, Nick Roessler et al. · 2018 · 50 citations · Full text
Rows per page
1–3 of 3