Kremer, Steve
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 130453102 (Personal)
Permalink: http://viaf.org/viaf/130453102
Preferred Forms
-
100 1 _
‡a
Kremer, Steve
-
100 1 _
‡a
Kremer, Steve
-
100 1 _ ‡a Kremer, Steve
-
100 1 _ ‡a Kremer, Steve
-
100 1 _ ‡a Kremer, Steve
-
100 1 _ ‡a Kremer, Steve
-
100 1 _
‡a
Kremer, Steve
Works
| Title | Sources |
|---|---|
| Cryptanalyses de logarithmes discrets : crible algébrique et réseaux pour canaux auxiliaires. |
|
| Differential privacy for metric spaces : information-theoretic models for privacy and utility with new applications to metric domains. |
|
| Discrete Logarithm Cryptanalyses : Number Field Sieve and Lattice Tools for Side-Channel Attacks |
|
| Election verifiability in electronic voting protocols, 2010: |
|
| Fondations d'analyse de APIs de sécurité dans le modèle symbolique et calculatoire. |
|
| Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes |
|
| Formal models and techniques for analyzing security protocols |
|
| Formal Security Proofs of Cryptographic : A necessity achieved using EasyCrypt. |
|
| Formal verification of protocols based on short authenticated strings. |
|
| Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire |
|
| Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants |
|
| Preuves formelles de la sécurité de standards : Un objectif nécessaire, possible grâce à EasyCrypt |
|
| Principles of security and trust : Third International Conference, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, proceedings |
|
| Proofs of security protocols : symbolic methods and powerful attackers. |
|
| Réplication sécurisée dans les infrastructures pair-à-pair de collaboration |
|
| Secured replication in collaborative P2P environment. |
|
| Vérification automatique de protocoles d'examen, de monnaie, de réputation, et de routage. |
|
| Vérification efficace d'équivalences observationnelles de processus cryptographiques : théorie et pratique. |
|
| Vérification et composition des protocoles de securité avec des applications aux protocoles de vote electronique. |
|
| Vérification formelle de protocoles basés sur de courtes chaines authentifiées |
|
