Eric Vétillard

According to our database, Eric Vétillard authored at least 10 papers between 1992 and 2021.

Collaborative distances:

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

2021

Security Certification: Is It Box Ticking?

Eric Vétillard

IEEE Secur. Priv., 2021

2010

Combined Attacks and Countermeasures.

Eric Vétillard, Anthony Ferrari

Proceedings of the Smart Card Research and Advanced Application, 2010

2007

A Security-by-Contract Architecture for Pervasive Services.

Nicola Dragoni, Fabio Massacci, Christian Schaefer, Thomas Walter, Eric Vétillard

Proceedings of the Third International Workshop on Security, 2007

2006

MOBIUS: Mobility, Ubiquity, Security.

Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

1998

Developing Smart Card-Based Applications Using Java Card.

Jean-Jacques Vandewalle, Eric Vétillard

Proceedings of the Smart Card Research and Applications, This International Conference, 1998

1996

Applications de la programmation logique avec contraintes aux problèmes de transport.

Eric Vétillard

Proceedings of the JFPLC'96, 1996

1995

Vérification de déclarations en programmation logique avec contraintes.

Eric Vétillard

Proceedings of the JFPLC'95, 1995

1994

Utilisation de Déclarations en Programmation Logique avec Contraintes.

Eric Vétillard

Proceedings of the JFPLC'94, 1994

Constraint Logic Programs with Declarations: Theory and Implementation.

Eric Vétillard

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1992

Expériences de parallélisme en Prolog III.

Eric Vétillard

Proceedings of the JFPL'92, 1992