Rakuten Kobo

Skip side bar filters

Theory of Cryptography

21st International Conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023, Proceedings, Part I

Edited by Guy Rothblum, Hoeteck Wee ...

Series Book 1 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 14369 until 14372 constitutes the refereed proceedings of the 21st International Conference on Theory of Cryptography, TCC 2023, held in Taipei, Taiwan, in November/December 2023. The total of 68 full papers presented in the proceedings was carefully reviewed and selected from 168 submissions.They focus on topics such as proofs and outsourcing; theoretical foundations; ... Read more

$80.09 USD

The four-volume set LNCS 14369 until 14372 constitutes the refereed proceedings of the 21st International Conference on Theory of Cryptography, TCC 2023, held in Taipei, Taiwan, in November/December 2023. The total of 68 full papers presented in the proceedings was carefully reviewed and selected from 168 submissions.They focus on topics such as proofs and outsourcing; theoretical foundations;
... Read more
Theory of Cryptography

21st International Conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023, Proceedings, Part II

Edited by Guy Rothblum, Hoeteck Wee ...

Series Book 2 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 14369 until 14372 constitutes the refereed proceedings of the 21st International Conference on Theory of Cryptography, TCC 2023, held in Taipei, Taiwan, in November/December 2023. The total of 68 full papers presented in the proceedings was carefully reviewed and selected from 168 submissions.They focus on topics such as proofs and outsourcing; theoretical foundations; ... Read more

$80.99 USD

The four-volume set LNCS 14369 until 14372 constitutes the refereed proceedings of the 21st International Conference on Theory of Cryptography, TCC 2023, held in Taipei, Taiwan, in November/December 2023. The total of 68 full papers presented in the proceedings was carefully reviewed and selected from 168 submissions.They focus on topics such as proofs and outsourcing; theoretical foundations;
... Read more
Theory of Cryptography

21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part III

Edited by Guy Rothblum, Hoeteck Wee ...

Series Book 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 14369 until 14372 constitutes the refereed proceedings of the 21st International Conference on Theory of Cryptography, TCC 2023, held in Taipei, Taiwan, in November/December 2023. The total of 68 full papers presented in the proceedings was carefully reviewed and selected from 168 submissions.They focus on topics such as proofs and outsourcing; theoretical foundations; ... Read more

$80.99 USD

The four-volume set LNCS 14369 until 14372 constitutes the refereed proceedings of the 21st International Conference on Theory of Cryptography, TCC 2023, held in Taipei, Taiwan, in November/December 2023. The total of 68 full papers presented in the proceedings was carefully reviewed and selected from 168 submissions.They focus on topics such as proofs and outsourcing; theoretical foundations;
... Read more
Theory of Cryptography

21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part IV

Edited by Guy Rothblum, Hoeteck Wee ...

Series Book 4 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 14369 until 14372 constitutes the refereed proceedings of the 21st International Conference on Theory of Cryptography, TCC 2023, held in Taipei, Taiwan, in November/December 2023. The total of 68 full papers presented in the proceedings was carefully reviewed and selected from 168 submissions.They focus on topics such as proofs and outsourcing; theoretical foundations; ... Read more

$80.99 USD

The four-volume set LNCS 14369 until 14372 constitutes the refereed proceedings of the 21st International Conference on Theory of Cryptography, TCC 2023, held in Taipei, Taiwan, in November/December 2023. The total of 68 full papers presented in the proceedings was carefully reviewed and selected from 168 submissions.They focus on topics such as proofs and outsourcing; theoretical foundations;
... Read more
Computational Complexity and Property Testing

On the Interplay Between Randomness and Computation

by Itai Benjamini, Scott Decatur, Maya Leshkowitz, Or Meir, Dana Ron, Guy Rothblum, Avishay Tal, Liav Teichner, Roei Tell, Avi Wigderson ...

Series series Computer Science (R0)
This volume contains a collection of studies in the areas of complexity theory and property testing. The 21 pieces of scientific work included were conducted at different times, mostly during the last decade. Although most of these works have been cited in the literature, none of them was formally published before.Within complexity theory the topics include constant-depth Boolean circuits, ... Read more

$80.99 USD

This volume contains a collection of studies in the areas of complexity theory and property testing. The 21 pieces of scientific work included were conducted at different times, mostly during the last decade. Although most of these works have been cited in the literature, none of them was formally published before.Within complexity theory the topics include constant-depth Boolean circuits,
... Read more

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Edited by Alexandra Silva, K. Rustan M. Leino ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

Free

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part
... Read more
Advances in Cryptology – CRYPTO 2021

41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part IV

Edited by Tal Malkin, Chris Peikert ...

Series Book 4 - Springer Nature Proceedings Computer Science
The four-volume set, LNCS 12825, LNCS 12826, LNCS 12827, and LNCS 12828, constitutes the refereed proceedings of the 41st Annual International Cryptology Conference, CRYPTO 2021. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it was an online event in 2021.The 103 full papers presented in the proceedings were carefully reviewed and selected from a total of ... Read more

$98.99 USD

The four-volume set, LNCS 12825, LNCS 12826, LNCS 12827, and LNCS 12828, constitutes the refereed proceedings of the 41st Annual International Cryptology Conference, CRYPTO 2021. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it was an online event in 2021.The 103 full papers presented in the proceedings were carefully reviewed and selected from a total of
... Read more
Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

Edited by Constantin Enea, Akash Lal ...

Series Book 3 - Springer Nature Proceedings Computer Science
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Read more

Free

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata
... Read more
Theory of Cryptography

19th International Conference, TCC 2021, Raleigh, NC, USA, November 8–11, 2021, Proceedings, Part II

Edited by Kobbi Nissim, Brent Waters ...

Series Book 2 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 13042, LNCS 13043 and LNCS 13044 constitutes the refereed proceedings of the 19th International Conference on Theory of Cryptography, TCC 2021, held in Raleigh, NC, USA, in November 2021. The total of 66 full papers presented in this three-volume set was carefully reviewed and selected from 161 submissions. They cover topics on proof systems, attribute-based and ... Read more

$98.99 USD

The three-volume set LNCS 13042, LNCS 13043 and LNCS 13044 constitutes the refereed proceedings of the 19th International Conference on Theory of Cryptography, TCC 2021, held in Raleigh, NC, USA, in November 2021. The total of 66 full papers presented in this three-volume set was carefully reviewed and selected from 161 submissions. They cover topics on proof systems, attribute-based and
... Read more
Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Edited by Isil Dillig, Serdar Tasiran ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Read more

Free

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical
... Read more
Advances in Cryptology – EUROCRYPT 2023

42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II

Edited by Carmit Hazay, Martijn Stam ...

Series Book 2 - Springer Nature Proceedings Computer Science
This five-volume set, LNCS 14004 - 14008 constitutes the refereed proceedings of the 42nd Annual International Conference on Theory and Applications of Cryptographic Techniques, Eurocrypt 2023, which was held in Lyon, France, in April 2023.The total of 109 full papers presented were carefully selected from 415 submissions. They are organized in topical sections as follows: Theoretical Foundations; ... Read more

$98.99 USD

This five-volume set, LNCS 14004 - 14008 constitutes the refereed proceedings of the 42nd Annual International Conference on Theory and Applications of Cryptographic Techniques, Eurocrypt 2023, which was held in Lyon, France, in April 2023.The total of 109 full papers presented were carefully selected from 415 submissions. They are organized in topical sections as follows: Theoretical Foundations;
... Read more
Advances in Cryptology – CRYPTO 2022

42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022, Proceedings, Part II

Edited by Yevgeniy Dodis, Thomas Shrimpton ...

Series Book 2 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 42nd Annual International Cryptology Conference, CRYPTO 2022, which was held in Santa Barbara, CA, USA, in August 2022.The total of 100 papers included in the 4-volume proceedings LNCS 13507, 13508, 13509, 13510, was reviewed and selected from 455 submissions. The papers were organized in the following topical sections: Cryptanalysis; ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 42nd Annual International Cryptology Conference, CRYPTO 2022, which was held in Santa Barbara, CA, USA, in August 2022.The total of 100 papers included in the 4-volume proceedings LNCS 13507, 13508, 13509, 13510, was reviewed and selected from 455 submissions. The papers were organized in the following topical sections: Cryptanalysis;
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Computer Science (R0)

Theory of Cryptography

Theory of Cryptography

Theory of Cryptography

Theory of Cryptography

Computational Complexity and Property Testing

People who read these also enjoyed

Computer Aided Verification

Advances in Cryptology – CRYPTO 2021

Computer Aided Verification

Theory of Cryptography

Computer Aided Verification

Advances in Cryptology – EUROCRYPT 2023

Advances in Cryptology – CRYPTO 2022

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Computer Science (R0)

Show:

People who read these also enjoyed