1
Publications
10
Citations
1
H-Index
2015
Active since
Yannis Juglaret is an author specializing in information security, formal verification, and data security.
Top concepts
CompilersEngineeringVerificationData SecurityFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisHardware SecuritySoftware Analysis
Publications per year
2015–2015
1
1
Rows per page
1–1 of 1