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 (SECURWARE, 2009)

Attack model for verification of interval security properties for smart card C codes. - Pascal Berthomé; Karine Heydemann; Xavier Kauffmann-Tourkestansky; Jean-François Lalande (PLAS, 2010)

High Level Model of Control Flow Attacks for Smart Card Functional Security. - Pascal Berthomé; Karine Heydemann; Xavier Kauffmann-Tourkestansky; Jean-François Lalande (ARES, 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 (2012)