Philippaerts, P.; Vogels, F.; Smans, J.; Jacobs, B.; Piessens, F. The Belgian Electronic Identity Card: A Verification Case Study. ECEASST 2011, 46.