Kestrel Institute

file

High-Assurance Java Card Applets and Platform

Submitted by TimTh on Tue, 08/23/2011 - 10:21am. Contributor:

Presented as part of the 2006 HCSS conference.

file

Submitted by Dusko P on Mon, 08/22/2011 - 2:49pm. Contributors:

Presented as part of the 2006 HCSS conference.

file

Submitted by TimTh on Tue, 08/16/2011 - 5:37pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Submitted by TimTh on Mon, 05/16/2011 - 9:23am. Contributor:

Presented as part of the 2011 HCSS conference.