@techreport{2007-Mostowski-TestingApplet, author = "{Mostowski}, Wojciech and {Poll}, Erik", title = "{Testing the Java Card Applet Firewall}", number = "ICIS--R07029", month = "December", institution = "Radboud University Nijmegen", year = "2007", research_group = "sos", class = "Report" }