Holger Grandy is an author at University of Augsburg specializing in hardware security, formal verification, and formal methods.
Top concepts
EngineeringCryptographyData SecurityFormal MethodsSoftware DesignSystem SoftwareComputer ScienceHardware SecuritySoftware AnalysisSoftware Security
Publications per year
2005–2009
4
4
SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications
Nina Moebius, Kurt H. Stenzel, Holger Grandy et al. · 2009 · 31 citations
The user interface of the KIV verification system: a system description
Dominik Haneberg, Simon Bäumler, Michael Balser et al. · 2005 · 14 citations
Model-Driven Code Generation for Secure Smart Card Applications
Nina Moebius, Kurt H. Stenzel, Holger Grandy et al. · 2009 · 12 citations
Engineering, Information Security, Model-driven Code Generation +18
Rows per page
1–4 of 4