2
Publications
84
Citations
2
H-Index
2014
Active since
Affiliations
Miguel Angel García de Dios is an author at Madrid Institute for Advanced Studies specializing in engineering, computer science, and verification.
Top concepts
EngineeringComputer ScienceSecurityCryptographyData PrivacyVerificationData SecurityAccess ControlFormal MethodsSatisfiability
Publications per year
2014–2024
2
2
Rows per page
1–2 of 2