Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Pieter Philippaerts  [Clear All Filters]
2011
Philippaerts, P., F. Vogels, J. Smans, B. Jacobs, and F. Piessens, "The Belgian electronic identity card: a verification case study", Proceedings of the International Workshop Automated Verification of Critical Systems (AVOCS'11): Elsevier, 2011.

Newcastle (UK), 12-14 September 2011, to appear