No abstract

Auctions are widely used to sell products between different users. In this paper, we present Auctionity, an English e-auction based on blockchain. We describe the different protocols used in Auctionity. We also define the security models and the associated properties. We formally prove some security properties of this protocol using ProVerif.

No abstract

La signature de la convention AERAS en 2006 a été une avancée majeure en permettant l’accès aux crédits pour des milliers de malades et anciens malades. Aujourd’hui, le projet de loi santé prévoit la mise en place d’un droit à l’oubli pour les malades de cancers. Sa localisation et le pronostic moyen associé seront susceptibles de faire varier le délai permettant d’accéder à ce droit. Tandis que les compagnies d’assurance souhaitent voir l’obligation de déclaration conservée pendant 15 ans après le diagnostic, les associations de malades militent pour que ce délai soit réduit à 10 voire 5 ans, dans certains cas. En croisant les données épidémiologiques et les données bancaires, nous démontrerons que le nombre supplémentaire d’assurés potentiels engendré par la réduction de ce délai ne représenterait qu’une augmentation très marginale des risques couverts par les assureurs.