![](/img/cover-not-exists.png)
[ACM Press the 2012 ACM conference - Raleigh, North Carolina, USA (2012.10.16-2012.10.18)] Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12 - Full proof cryptography
Bacelar Almeida, José, Barbosa, Manuel, Bangerter, Endre, Barthe, Gilles, Krenn, Stephan, Zanella Béguelin, SantiagoYear:
2012
Language:
english
DOI:
10.1145/2382196.2382249
File:
PDF, 554 KB
english, 2012