Xavier Kauffmann-Tourkestansky

According to our database, Xavier Kauffmann-Tourkestansky authored at least 4 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Analyses sécuritaires de code de carte à puce sous attaques physiques simulées. (Security analysis of smart card C code using simulated physical attacks).

Xavier Kauffmann-Tourkestansky

PhD thesis, 2012

High Level Model of Control Flow Attacks for Smart Card Functional Security.

Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky, Jean-François Lalande

Proceedings of the Seventh International Conference on Availability, 2012

2010

Attack model for verification of interval security properties for smart card C codes.

Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky, Jean-François Lalande

Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

2009

Generation of Role Based Access Control Security Policies for Java Collaborative Applications.

Jérémy Briffaut, Xavier Kauffmann-Tourkestansky, Jean-François Lalande, Waleed W. Smari

Proceedings of the Third International Conference on Emerging Security Information, 2009