1
Publications
52
Citations
1
H-Index
2013
Active since
Affiliations
Oberthur Technologies (France)(Current)
Alberto Battistello is an author at Oberthur Technologies (France) specializing in computer engineering, formal verification, and data security.
Top concepts
EngineeringCryptographyData SecurityFormal MethodsComputer ScienceEmbedded SystemsProgram AnalysisSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2013–2013
1
1
Rows per page
1–1 of 1