Enforcing High-Level Security Properties for Applets.

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

Browse the full CARDIS paper archive.