CITI/SchlumbergerProgram in Smartcard Technology

• File system transparency

• Secure token storage

• Kerberos authentication

• Internet protocol

• Experimental fault analysis

• JavaCard formal verification

• JavaCard performance analysis

• SEM attack and defense

Previous slide

Next slide

Back to first slide

View graphic version