Work

Automated Analysis and Synthesis of Padding-Based Encryption Schemes

Year: 2012

Type: article

Authors: Gilles Barthe, Juan Manuel Crespo, César Kunz, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella-Béguelin

Institutions: Madrid Institute for Advanced Studies, Institut national de recherche en sciences et technologies du numérique, Microsoft (United States)

Language: English

Topic: Cryptography and Data Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2406472097

FWCI: 1.221

Cites: 35

Cited by: 3

Related to: 10