Book titles in this series

  1. Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

    Editors:
    • Arie Gurfinkel
    • Marijn Heule
    • Open Access
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook
  2. Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

    Editors:
    • Arie Gurfinkel
    • Marijn Heule
    • Open Access
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook
  3. Advances in Cryptology – EUROCRYPT 2025

    44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4–8, 2025, Proceedings, Part II

    Editors:
    • Serge Fehr
    • Pierre-Alain Fouque
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook
  4. Advances in Cryptology – EUROCRYPT 2025

    44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4–8, 2025, Proceedings, Part III

    Editors:
    • Serge Fehr
    • Pierre-Alain Fouque
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook
  5. Advances in Cryptology – EUROCRYPT 2025

    44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4–8, 2025, Proceedings, Part V

    Editors:
    • Serge Fehr
    • Pierre-Alain Fouque
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook
  6. Advances in Cryptology – EUROCRYPT 2025

    44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4–8, 2025, Proceedings, Part VI

    Editors:
    • Serge Fehr
    • Pierre-Alain Fouque
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook
  7. Advances in Cryptology – EUROCRYPT 2025

    44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4–8, 2025, Proceedings, Part VII

    Editors:
    • Serge Fehr
    • Pierre-Alain Fouque
    • Copyright: 2025

    Available Renditions

    • Soft cover
    • eBook

Publish with us

Contact the Publishing Editor
Ronan Nugent