Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “sylvain duquesne”
Skip side bar filters

  • Progress in Cryptology - AFRICACRYPT 2023

    14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19–21, 2023, Proceedings

    Edición de Nadia El Mrabet, Luca De Feo, Sylvain Duquesne ...
    Series series Springer Nature Proceedings Computer Science
    This volume contains the papers accepted for presentation at Africacrypt 2023, the 14th International Conference on the Theory and Application of Cryptographic Techniques in Africa.The 21 full papers included in this book were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Post-quantum cryptography; Symmetric cryptography; Cryptanalysis; ... Leer más

    $89.99 USD

  • Arithmetic of Finite Fields

    6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers

    Edición de Sylvain Duquesne, Svetla Petkova-Nikova ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on the Arithmetic of Finite Field, WAIFI 2016, held in Ghent, Belgium, in July 2016.The 14 revised full papers and 3 invited talks presented were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on invited talks; elliptic curves; applications; ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Progress in Cryptology -- LATINCRYPT 2015

    4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings

    Edición de Kristin Lauter, Francisco Rodríguez-Henríquez ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 4th International Conference on Cryptology and Information Security in Latin America, LatinCrypt 2015, held in Guadalajara, Mexico, in August 2015.The 20 papers presented were carefully reviewed and selected from 49 submissions. They were organized in topical sections named: cryptographic protocols; foundations; post-quantum cryptography; symmetric key ... Leer más

    $49.99 USD

  • Advances in Cryptology – ASIACRYPT 2017

    23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II

    Edición de Tsuyoshi Takagi, Thomas Peyrin ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The three-volume set LNCS 10624, 10625, 10626 constitutes the refereed proceedings of the 23rd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2017, held in Hong Kong, China, in December 2017.The 65 revised full papers were carefully selected from 243 submissions. They are organized in topical sections on Post-Quantum Cryptography; ... Leer más

    $49.99 USD

  • Computer Aided Verification

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

    Edición de Alexandra Silva, K. Rustan M. Leino ...
    Series Libro 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 ... Leer más

    Gratis

  • Fast Software Encryption

    23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers

    Edición de Thomas Peyrin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Conference on Fast Software Encryption, held in Bochum, Germany, in March 2016. The 29 revised full papers presented were carefully reviewed and selected from 86 initial submissions. The papers are organized in topical sections on operating modes; stream-cipher cryptanalysis; components; side ... Leer más

    $80.99 USD

  • Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Edición de Hana Chockler, Georg Weissenbacher ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Leer más

    Gratis

  • Computer Aided Verification

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

    Edición de Alexandra Silva, K. Rustan M. Leino ...
    Series Libro 1 - 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 ... Leer más

    Gratis

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Edición de Tomáš Vojnar, Lijun Zhang ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Leer más

    Gratis

  • Computer Aided Verification

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

    Edición de Isil Dillig, Serdar Tasiran ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This 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 ... Leer más

    Gratis

  • Advances in Cryptology – CRYPTO 2021

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

    Edición de Tal Malkin, Chris Peikert ...
    Series Libro 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 ... Leer más

    $98.99 USD

  • Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

    Edición de Sharon Shoham, Yakir Vizel ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following ... Leer más

    Gratis