-
Client-Based Access Control Management for XML documents
The erosion of trust put in traditional database servers and in Database Service Providers, the growing interest for different forms of data dissemination and the... -
Trusted Collaborative Real Time Scheduling in a Smart Card Exokernel
This paper presents the work we have conducted concerning real time scheduling in Camille, an exokernel dedicated to smart cards. We show that it is possible to... -
Security analysis of smart card C code using simulated physical attacks
This thesis focuses on the effects of attacks by physical faults on embedded source code specifically for smart cards. Such attacks can compromise the security of the... -
Study of the vulnerability of cryptographic circuits by laser fault injection.
Cryptographic circuits may be victims of fault attacks on their hardware implementations. fault attacks consist of creating intentional faults during cryptographic... -
Type classification against Fault Enabled Mutant in Java based Smart Card
International audience -
A Dynamic Syntax Interpretation for Java Based Smart Card to Mitigate Logical...
International audience -
Attacks against smart cards: Hands on session
International audience -
Mitigating Type Confusion on Java Card
International audience -
Detecting Laser Fault Injection for Smart Cards using Security Automata
International audience -
Security Vulnerabilities Test Generation from SysML and Event-B models for EM...
International audience
