3
Publications
48
Citations
3
H-Index
2019
Active since
Affiliations
Darius Mercadier is an author at Sorbonne Université specializing in formal methods, hardware security, and data security.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2019–2022
3
3
Rows per page
1–3 of 3