VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
API Design	Security APIs for Device Enrolment
automated testing	Caetus tool
C
Cryptoki	Caetus tool
D
Device Enrolment	Security APIs for Device Enrolment
F
functional programming	Well-typed generic smart-fuzzing for APIs
J
JavaCard API	Nuances of the JavaCard API on the cryptographic smart cards - JCAlgTest project
K
key	Caetus tool
P
PKCS#11	Caetus tool
power analysis	Nuances of the JavaCard API on the cryptographic smart cards - JCAlgTest project
Q
quickcheck	Well-typed generic smart-fuzzing for APIs
S
Security API	Security APIs for Device Enrolment
security APIs	Well-typed generic smart-fuzzing for APIs
smart card	Nuances of the JavaCard API on the cryptographic smart cards - JCAlgTest project
T
testing	Well-typed generic smart-fuzzing for APIs
token	Caetus tool

Disclaimer | Powered by EasyChair Smart Program