2 citations · 4 across the 4 of their papers we have counts for
5 papers
Security Science (SecSci), Basic Concepts and Mathematical Foundations
Dusko Pavlovic, Peter-Michael Seidel
This textbook compiles the lecture notes from security courses taught at Oxford in the 2000s, at Royal Holloway in the 2010s, and currently in Hawaii. The early chapters are suitab…
Privacy protocols
Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel
Security protocols enable secure communication over insecure channels. Privacy protocols enable private interactions over secure channels. Security protocols set up secure channels…
Quotients in monadic programming: Projective algebras are equivalent to coalgebras
Dusko Pavlovic, Peter-Michael Seidel
In monadic programming, datatypes are presented as free algebras, generated by data values, and by the algebraic operations and equations capturing some computational effects. Thes…
(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras
Dusko Pavlovic, Peter-Michael Seidel
Effect algebras are one of the generalizations of Boolean algebras proposed in the quest for a quantum logic. Frobenius algebras are a tool of categorical quantum mechanics, used t…
Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback
Peter-Michael Seidel
We present the formal verification of a low-power x86 floating-point multiplier. The multiplier operates iteratively and feeds back intermediate results in redundant representation…