Invited Talk.- Protecting Consumer Security Devices.- Contributed Papers.- Jakarta: A Toolset for...

Invited Talk.- Formal Methods in Context: Security and Java Card.- Contributed Papers.- A Dynamic...