58 citations · 206 across the 34 of their papers we have counts for
36 papers
From Gödel's Incompleteness Theorem to the completeness of bot beliefs (Extended abstract)
Dusko Pavlovic, Temra Pavlovic
Hilbert and Ackermann asked for a method to consistently extend incomplete theories to complete theories. Gödel essentially proved that any theory capable of encoding its own state…
Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell
Dusko Pavlovic, Dominic J. D. Hughes
While any infimum in a poset can also be computed as a supremum, and vice versa, categorical limits and colimits do not always approximate each other. If I approach a point from be…
Probabilistic annotations for protocol models
Dusko Pavlovic
We describe how a probabilistic Hoare logic with localities can be used for reasoning about security. As a proof-of-concept, we analyze Vernam and El-Gamal cryptosystems, prove the…
Lambek pregroups are Frobenius spiders in preorders
Dusko Pavlovic
"Spider" is a nickname of special Frobenius algebras, a fundamental structure from mathematics, physics, and computer science. Pregroups are a fundamental structure from linguistic…
Causality and deceit: Do androids watch action movies?
Dusko Pavlovic, Temra Pavlovic
We seek causes through science, religion, and in everyday life. We get excited when a big rock causes a big splash, and we get scared when it tumbles without a cause. But our causa…
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…