Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

High-Level Programming for E-Cash

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Pedro Adão
Date
Le mardi 12 mai 2009 à 11:00
Lieu
Salle Condorcet (Bâtiment d'Alembert)
Orateur
Pedro Adão (Instituto de Telecomunicacões, Lisboa, Portugal)

E-cash protocols aim at providing robust abstractions for anonymous payment protocols. Properties of interest include, for instance, that users can spend coins anonymously, that users cannot forge coins, and that a user should not spend the same coin twice without being eventually caught. These protocols involve sophisticated cryptographic constructions such as blind signatures and commitment and proving their correctness is a non-trivial task, hence reasoning about e-cash applications becomes an almost impossible task.

Relying on recent work on optimistic value commitment [FGZN08], we propose a calculus to reason about e-cash applications. Our calculus has a simple, symbolic semantics; it can be used for programming with e-cash and for reasoning on its properties, while shielding the programmer from its cryptographic implementation.

We consider two variants of the symbolic semantics. An abstract semantics rules out any double spending (by design) while a more realistic, intermediate semantics accounts for the possibility of double spending, with reliable detection. We first relate these two semantics, and then relate the intermediate semantics to the computational properties of the underlying e-cash protocol. We show that our calculus is a sound abstraction of the low-level e-cash protocols, that is, all low-level behaviours can be mapped to an high-level equivalent trace.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents