David Pointcheval
AuthID: R-00K-PEP
1
TITLE: Verified security of redundancy-free encryption from Rabin and RSA
AUTHORS: Gilles Barthe; David Pointcheval; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012
AUTHORS: Gilles Barthe; David Pointcheval; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012
INDEXED IN: 
DBLP
DBLP2
TITLE: Verified Security of Redundancy-Free Encryption from Rabin and RSA
AUTHORS: Gilles Barthe; David Pointcheval; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012
AUTHORS: Gilles Barthe; David Pointcheval; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012
INDEXED IN: DBLP
DBLP