A Kochen-Specker system has at least 22 vectors (extended abstract). - Sander Uijlen; Bas Westerbaan (QPL, 2014)

States of Convex Sets. - Bart Jacobs 001; Bas Westerbaan; Bram Westerbaan (FoSSaCS, 2015)

An Introduction to Effectus Theory. - Kenta Cho 002; Bart Jacobs 001; Bas Westerbaan; Abraham Westerbaan (CoRR, 2015)

Quotient-Comprehension Chains. - Kenta Cho 002; Bart Jacobs 001; Bas Westerbaan; Bram Westerbaan (QPL, 2015)

Unordered Tuples in Quantum Computation. - Robert Furber; Bas Westerbaan (QPL, 2015)

Solving Binary MQ with Grover's Algorithm. - Peter Schwabe; Bas Westerbaan (SPACE, 2016)

Paschke Dilations. - Abraham Westerbaan; Bas Westerbaan (QPL, 2016)

A Kochen-Specker System Has at Least 22 Vectors. - Sander Uijlen; Bas Westerbaan (New Gener. Comput., 2016)

Statman's Hierarchy Theorem. - Bram Westerbaan; Bas Westerbaan; Rutger Kuyper; Carst Tankink; Remy Viehoff; Henk Barendregt (Log. Methods Comput. Sci., 2017)

Dagger and dilations in the category of von Neumann algebras. - Bas Westerbaan (CoRR, 2018)

Pure Maps between Euclidean Jordan Algebras. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (QPL, 2018)

A characterization of ordered abstract probabilities. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (CoRR, 2019)

Solving binary MQ with Grover's algorithm. - Peter Schwabe; Bas Westerbaan (IACR Cryptol. ePrint Arch., 2019)

A characterisation of ordered abstract probabilities. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (LICS, 2020)

Preservation of Equations by Monoidal Monads. - Louis Parlant; Jurriaan Rot; Alexandra Silva 001; Bas Westerbaan (MFCS, 2020)

The Universal Property of Infinite Direct Sums in $ hbox {C}^*$-Categories and $ hbox {W}^*$-Categories. - Tobias Fritz; Bas Westerbaan (Appl. Categorical Struct., 2020)

Dichotomy between deterministic and probabilistic models in countably additive effectus theory. - Kenta Cho 002; Bas Westerbaan; John van de Wetering (QPL, 2020)

Don't throw your nonces out with the bathwater. - Amber Sprenkels; Bas Westerbaan (IACR Cryptol. ePrint Arch., 2020)

When to Barrett reduce in the inverse NTT. - Bas Westerbaan (IACR Cryptol. ePrint Arch., 2020)

Sign in finite fields. - Abraham Westerbaan; Bas Westerbaan (IACR Cryptol. ePrint Arch., 2020)

The three types of normal sequential effect algebras. - Abraham Westerbaan; Bas Westerbaan; John van de Wetering (Quantum, 2020)

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)

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)

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)

Benchmarking and Analysing the NIST PQC Lattice-Based Signature Schemes Standards on the ARM Cortex M7. - James Howe; Bas Westerbaan (AFRICACRYPT, 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)

X-Wing. - Manuel Barbosa; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan (IACR Commun. Cryptol., 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)

Private SCT Auditing, Revisited. - Lena Heimberger; Christopher Patton; Bas Westerbaan (IACR Cryptol. ePrint Arch., 2025)

Use of the SLH-DSA Signature Algorithm in the Cryptographic Message Syntax (CMS). - Russ Housley; Scott R. Fluhrer; Panos Kampanakis; Bas Westerbaan (RFC, 2025)