Follow
Bas Westerbaan
Bas Westerbaan
Research Engineer, Cloudflare
Verified email at cloudflare.com - Homepage
Title
Cited by
Cited by
Year
An introduction to effectus theory
K Cho, B Jacobs, B Westerbaan, A Westerbaan
arXiv preprint arXiv:1512.05813, 2015
622015
Solving binary MQ with Grover’s algorithm
B Westerbaan, P Schwabe
Security, Privacy, and Applied Cryptography Engineering: 6th International …, 2016
40*2016
States of Convex Sets
B Jacobs, B Westerbaan, B Westerbaan
FoSSaCS, 87-101, 2015
332015
Dagger and Dilation in the Category of von Neumann algebras
BE Westerbaan
arXiv preprint arXiv:1803.01911, 2018
25*2018
Quotient-Comprehension Chains
K Cho, B Jacobs, B Westerbaan, B Westerbaan
EPTCS 195 (QPL 2015), 136-147, 2015
182015
A Kochen-Specker system has at least 22 vectors
S Uijlen, B Westerbaan
New Generation Computing 34 (1-2), 3-23, 2016
172016
Paschke Dilations
A Westerbaan, B Westerbaan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 229-244, 2017
15*2017
SPHINCS+. Submission to the NIST Post-Quantum Cryptography Standardization Project (2020)
JP Aumasson, DJ Bernstein, W Beullens, C Dobraunig, M Eichlseder, ...
14*2020
Sizing Up Post-Quantum Signatures
B Westerbaan
https://blog.cloudflare.com/sizing-up-post-quantum-signatures/, 2021
12*2021
A universal property of sequential measurement
A Westerbaan, B Westerbaan
Journal of Mathematical Physics 57 (9), 2016
122016
Picture-perfect quantum key distribution
A Kissinger, S Tull, B Westerbaan
102017
A Concrete Treatment of Efficient Continuous Group Key Agreement via Multi-Recipient PKEs
K Hashimoto, S Katsumata, E Postlethwaite, T Prest, B Westerbaan
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
9*2021
Implementing and measuring KEMTLS
S Celi, A Faz-Hernández, N Sullivan, G Tamvada, L Valenta, T Wiggers, ...
Progress in Cryptology–LATINCRYPT 2021: 7th International Conference on …, 2021
72021
Sequential product on effect logics
B Westerbaan
Master’s thesis, Radboud University. https://www. ru. nl/publish/pages …, 2013
7*2013
A characterisation of ordered abstract probabilities
A Westerbaan, B Westerbaan, J van de Wetering
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
62020
Benchmarking and Analysing the NIST PQC Finalist Lattice-Based Signature Schemes on the ARM Cortex M7
J Howe, B Westerbaan
Cryptology ePrint Archive, 2022
52022
The three types of normal sequential effect algebras
A Westerbaan, B Westerbaan, J van de Wetering
Quantum 4, 378, 2020
5*2020
Preservation of Equations by Monoidal Monads
L Parlant, J Rot, A Silva, B Westerbaan
arXiv preprint arXiv:2001.06348, 2020
52020
Dichotomy between deterministic and probabilistic models in countably additive effectus theory
K Cho, B Westerbaan, J van de Wetering
arXiv preprint arXiv:2003.10245, 2020
4*2020
Yosida Duality
B Westerbaan
arXiv preprint arXiv:1612.03327, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20