Related Books

Concurrency, Security, and Puzzles
Language: en
Pages: 336
Authors: Thomas Gibson-Robinson
Categories: Computers
Type: BOOK - Published: 2016-12-15 - Publisher: Springer

DOWNLOAD EBOOK

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Bro
Public-Key Cryptography – PKC 2018
Language: en
Pages: 760
Authors: Michel Abdalla
Categories: Computers
Type: BOOK - Published: 2018-03-05 - Publisher: Springer

DOWNLOAD EBOOK

The two-volume set LNCS 10769 and 10770 constitutes the refereed proceedings of the 21st IACR International Conference on the Practice and Theory of Public-Key
Security and Cryptography for Networks
Language: en
Pages: 625
Authors: Michel Abdalla
Categories: Computers
Type: BOOK - Published: 2014-08-21 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 9th International Conference on Security and Cryptography, SCN 2014, held in Amalfi, Italy, in September 2014. The
Public-Key Cryptography -- PKC 2013
Language: en
Pages: 528
Authors: Kaoru Kurosawa
Categories: Computers
Type: BOOK - Published: 2013-02-05 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Practice and Theory in Public-Key Cryptography, PKC 2013, held in Nara, J
Computer Aided Verification
Language: en
Pages: 697
Authors: Shuvendu K. Lahiri
Categories: Computers
Type: BOOK - Published: 2020-07-15 - Publisher: Springer Nature

DOWNLOAD EBOOK

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CA