Supervisors: Research Director Dr. Elena Trichina, (2003)

Cached

Download Links

by In Smart Card Environment

Active Bibliography

Spécialité ”Communication et Électronique“ – Doctorat Paristech, Telecom Paristech, Guillaume Barbu, M. Jean-louis Lanet, M. Renaud Pacalet, Lab Soc, Télécom Paristech Examinateur, M. Pascal Urien, Dép Infres, Télécom Paristech Examinateur - 2013
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1344 Xen and the art of virtualization – Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
731 Differential Power Analysis – Paul Kocher, Joshua Jaffe, Benjamin Jun - 1999
770 SPINS: Security Protocols for Sensor Networks – Adrian Perrig, Robert Szewczyk, Victor Wen, David Culler, J. D. Tygar - 2001
1227 Untraceable electronic mail, return addresses, and digital pseudonyms – David Chaum, Communications Of The Acm, R. Rivest, David L. Chaum - 1981
1156 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990