Accueil
>
Verimag
>
Séminaires
Détails sur le séminaire
CTL
23 juin 2011 - 10h00
Randomizable Commutative Signature and Encryption Schemes
par
David Pointcheval
de ENS/CNRS/INRIA
Résumé :
This is a joint work with Olivier Blazy, Georg Fuchsbauer and Damien Vergnaud.
Navigation
Rubriques
Verimag
Direction et Responsables
Membres
Publications
Outils
Thèse en cours
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Archives
Documents
Axes
Contact
Plan du site
Acces au Batiment
Actualités
ACTUALITÉS
Développement, conception et sémantique des langages de programmation
Chaire de professeur junior CNRS
Nouvelles publications
Quelques Publications Récentes
Marius Bozga, Radu Iosif, Florian Zuleger:
Iterating Non-Aggregative Structure Compositions
Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna:
Model checking of distributed algorithms using synchronous programs
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian:
Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs
Offres d'emploi et stages
Offres d'emploi et stages
Chaire de professeur junior CNRS
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.16
+
AHUNTSIC
[CC License]
info visites
8329322
English
Français