Abraham Westerbaan

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 14

Top Topics

Encryption Algorithm

Lambda Calculus

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Abraham Westerbaan, Bas Westerbaan, John van de Wetering
The three types of normal sequential effect algebras. Quantum 4 (2020)
Bart Jacobs, Abraham Westerbaan
Distances between States and between Predicates. Log. Methods Comput. Sci. 16 (1) (2020)
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
A characterisation of ordered abstract probabilities. LICS (2020)
Abraham Westerbaan, Luuk Hendriks
Polymorphic Encryption and Pseudonymisation of IP Network Flows. Networking (2020)
Abraham Westerbaan, Bas Westerbaan
Sign in finite fields. IACR Cryptol. ePrint Arch. 2020 (2020)
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
A characterization of ordered abstract probabilities. CoRR (2019)
Abraham Westerbaan, Luuk Hendriks
Polymorphic Encryption and Pseudonymisation of IP Network Flows. CoRR (2019)
Abraham Westerbaan
The Category of von Neumann Algebras. CoRR (2018)
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
Pure Maps between Euclidean Jordan Algebras. QPL (2018)
Bart Jacobs, Abraham Westerbaan
Distances between States and between Predicates. CoRR (2017)
Abraham Westerbaan
Quantum Programs as Kleisli Maps. QPL (2016)
Kenta Cho, Abraham Westerbaan
Von Neumann Algebras form a Model for the Quantum Lambda Calculus. CoRR (2016)
Abraham Westerbaan, Bas Westerbaan
Paschke Dilations. QPL (2016)
Kenta Cho, Bart Jacobs, Bas Westerbaan, Abraham Westerbaan
An Introduction to Effectus Theory. CoRR (2015)