P. Philippaerts, F. Vogels, J. Smans, B. Jacobs, and F. Piessens, “The Belgian Electronic Identity Card: a Verification Case Study”, ECEASST, vol. 46, Dec. 2011.