1
Publications
19
Citations
1
H-Index
2022
Active since
Affiliations
Xaver Fabian is an author at Helmholtz Center for Information Security specializing in formal verification, data security, and formal methods.
Top concepts
FuzzingEngineeringVerificationData SecurityFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware Security
Publications per year
2022–2022
1
1
Rows per page
1–1 of 1