Location of Repository

For Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks.

By Pascal Lafourcade, Spécialité Informatique, Présentée Par, Pascal Lafourcade, Eth Zürich and Université De Trier

Abstract

Habilitation à diriger des recherches soutenue publiquement le 6 Novembr

Topics: Formal verification, computational model, symbolic model, concrete security, public encryption scheme, encryption modes, MAC, homomorphic encryption, p
Year: 2014
OAI identifier: oai:CiteSeerX.psu:10.1.1.415.2693
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www-verimag.imag.fr/~pl... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.