Skip to main content
Article thumbnail
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.