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
542015
Solving binary MQ with Grover’s algorithm
B Westerbaan, P Schwabe
Security, Privacy, and Applied Cryptography Engineering: 6th International …, 2016
35*2016
States of Convex Sets
B Jacobs, B Westerbaan, B Westerbaan
FoSSaCS, 87-101, 2015
312015
Dagger and Dilation in the Category of von Neumann algebras
BE Westerbaan
arXiv preprint arXiv:1803.01911, 2018
18*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
122016
A universal property of sequential measurement
A Westerbaan, B Westerbaan
Journal of Mathematical Physics 57 (9), 2016
122016
Paschke Dilations
A Westerbaan, B Westerbaan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 229-244, 2017
112017
Picture-perfect Quantum Key Distribution
A Kissinger, S Tull, B Westerbaan
arXiv preprint arXiv:1704.08668, 2017
82017
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
52020
Sequential product on effect logics
B Westerbaan
Master’s thesis, Radboud University. https://www. ru. nl/publish/pages …, 2013
52013
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
Preservation of Equations by Monoidal Monads
L Parlant, J Rot, A Silva, B Westerbaan
arXiv preprint arXiv:2001.06348, 2020
42020
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
32021
When to Barrett reduce in the inverse NTT.
B Westerbaan
IACR Cryptol. ePrint Arch. 2020, 1377, 2020
32020
Pure maps between Euclidean Jordan Algebras
A Westerbaan, B Westerbaan, J van de Wetering
arXiv preprint arXiv:1805.11496, 2018
32018
Yosida Duality
B Westerbaan
arXiv preprint arXiv:1612.03327, 2016
32016
SPHINCS+. Submission to the NIST Post-Quantum Cryptography Standardization Project (2020)
JP Aumasson, DJ Bernstein, W Beullens, C Dobraunig, M Eichlseder, ...
3
Implementing and Measuring KEMTLS
S Celi, A Faz-Hernández, N Sullivan, G Tamvada, L Valenta, T Wiggers, ...
International Conference on Cryptology and Information Security in Latin …, 2021
22021
A computer scientist's reconstruction of quantum theory
B Westerbaan, J van de Wetering
arXiv preprint arXiv:2109.10707, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20