Eric Vétillard

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 1

Top Topics

Cryptographic Protocols

Database Security

Security Measures

Top Venues

IEEE Secur. Priv.

Publications

Eric Vétillard
Security Certification: Is It Box Ticking? IEEE Secur. Priv. 19 (4) (2021)
Eric Vétillard, Anthony Ferrari
Combined Attacks and Countermeasures. CARDIS (2010)
Nicola Dragoni, Fabio Massacci, Christian Schaefer, Thomas Walter, Eric Vétillard
A Security-by-Contract Architecture for Pervasive Services. SECPerU (2007)
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
MOBIUS: Mobility, Ubiquity, Security. TGC (2006)
Jean-Jacques Vandewalle, Eric Vétillard
Developing Smart Card-Based Applications Using Java Card. CARDIS (1998)
Eric Vétillard
Applications de la programmation logique avec contraintes aux problèmes de transport. JFPLC (1996)
Eric Vétillard
Vérification de déclarations en programmation logique avec contraintes. JFPLC (1995)
Eric Vétillard
Constraint Logic Programs with Declarations: Theory and Implementation. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Eric Vétillard
Utilisation de Déclarations en Programmation Logique avec Contraintes. JFPLC (1994)
Eric Vétillard
Expériences de parallélisme en Prolog III. JFPL (1992)