@InProceedings{hcss03,
  author = 	 {Alessandro Coglio},
  title = 	 {Code Generation for
                  High-Assurance {Java Card} Applets},
  booktitle = 	 {Proc.\ 3rd {NSA} Conference on
                  High Confidence Software and Systems},
  pages = 	 {85--93},
  year = 	 {2003},
  month = 	 {April}
}