The Belgian Electronic Identity Card: a Verification Case Study

Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens. The Belgian Electronic Identity Card: a Verification Case Study. ECEASST, 46, 2011. [doi]

@article{PhilippaertsVSJP11,
  title = {The Belgian Electronic Identity Card: a Verification Case Study},
  author = {Pieter Philippaerts and Frédéric Vogels and Jan Smans and Bart Jacobs and Frank Piessens},
  year = {2011},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/682},
  researchr = {https://researchr.org/publication/PhilippaertsVSJP11},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {46},
}