2004, Route des Lucioles
SoftwareJACK is a toolset for applet validation that has been developed in collaboration between Gemalto and INRIA. Its main design goals are:
For more information, see the JACK webpage.
Auditing AssistantWe developed a secure auditing assistant that generates JML annotations from high-level security properties. The assistant has been successfully applied to industrial case studies. Its implementation has been integrated into JACK.