Bas Westerbaan

According to our database, Bas Westerbaan authored at least 27 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

X-Wing: The Hybrid KEM You've Been Looking For.

Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan

IACR Cryptol. ePrint Arch., 2024

2023

Post-Quantum Privacy Pass via Post-Quantum Anonymous Credentials.

Guru-Vamsi Policharla, Bas Westerbaan, Armando Faz-Hernández, Christopher A. Wood

IACR Cryptol. ePrint Arch., 2023

Benchmarking and Analysing the NIST PQC Lattice-Based Signature Schemes Standards on the ARM Cortex M7.

James Howe, Bas Westerbaan

Proceedings of the Progress in Cryptology - AFRICACRYPT 2023, 2023

2022

Benchmarking and Analysing the NIST PQC Finalist Lattice-Based Signature Schemes on the ARM Cortex M7.

James Howe, Bas Westerbaan

IACR Cryptol. ePrint Arch., 2022

2021

A Concrete Treatment of Efficient Continuous Group Key Agreement via Multi-Recipient PKEs.

Keitaro Hashimoto, Shuichi Katsumata, Eamonn W. Postlethwaite, Thomas Prest, Bas Westerbaan

IACR Cryptol. ePrint Arch., 2021

Implementing and Measuring KEMTLS.

Sofía Celi, Armando Faz-Hernández, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher A. Wood

IACR Cryptol. ePrint Arch., 2021

2020

The three types of normal sequential effect algebras.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

Quantum, 2020

Sign in finite fields.

Abraham Westerbaan, Bas Westerbaan

IACR Cryptol. ePrint Arch., 2020

When to Barrett reduce in the inverse NTT.

Bas Westerbaan

IACR Cryptol. ePrint Arch., 2020

Don't throw your nonces out with the bathwater.

Amber Sprenkels, Bas Westerbaan

IACR Cryptol. ePrint Arch., 2020

Dichotomy between deterministic and probabilistic models in countably additive effectus theory.

Kenta Cho, Bas Westerbaan, John van de Wetering

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

The Universal Property of Infinite Direct Sums in $\hbox {C}^*$-Categories and $\hbox {W}^*$-Categories.

Tobias Fritz, Bas Westerbaan

Appl. Categorical Struct., 2020

Preservation of Equations by Monoidal Monads.

Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

A characterisation of ordered abstract probabilities.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Solving binary MQ with Grover's algorithm.

Peter Schwabe, Bas Westerbaan

IACR Cryptol. ePrint Arch., 2019

A characterization of ordered abstract probabilities.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

CoRR, 2019

2018

Pure Maps between Euclidean Jordan Algebras.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

Dagger and dilations in the category of von Neumann algebras.

Bas Westerbaan

CoRR, 2018

2017

Statman's Hierarchy Theorem.

Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt

Log. Methods Comput. Sci., 2017

2016

A Kochen-Specker System Has at Least 22 Vectors.

Sander Uijlen, Bas Westerbaan

New Gener. Comput., 2016

Paschke Dilations.

Abraham Westerbaan, Bas Westerbaan

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

Solving Binary <i>MQ</i> with Grover's Algorithm.

Peter Schwabe, Bas Westerbaan

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2016

2015

Unordered Tuples in Quantum Computation.

Robert Furber, Bas Westerbaan

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Quotient-Comprehension Chains.

Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

An Introduction to Effectus Theory.

Kenta Cho, Bart Jacobs, Bas Westerbaan, Abraham Westerbaan

CoRR, 2015

States of Convex Sets.

Bart Jacobs, Bas Westerbaan, Bram Westerbaan

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

A Kochen-Specker system has at least 22 vectors (extended abstract).

Sander Uijlen, Bas Westerbaan

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014