Compositional verification for secure loading of smart card applets.

Christoph Sprenger, Dilian Gurov, Marieke Huisman

Browse the full MEMOCODE paper archive.