Projects in the category : Java

Javacard

OPAL GUI

Static analysis on the Javacard bytecode with FindBugs

Vulnerability Test cases Generator

Fault enabled viruses designed with CAPMAP