CITI/Schlumberger Program in Smartcard Technology

• Internet protocol

• Kerberos authentication

• File system transparency

• Secure cookie storage

• Experimental fault analysis

• JavaCard formal verification

• JavaCard performance analysis

• SEM attack

• SEM defense

Previous slide

Next slide

Back to first slide

View graphic version