2 papers
cs.CR2008
Classical Knowledge for Quantum Security
Ellie D'Hondt, Mehrnoosh Sadrzadeh
We propose a decision procedure for analysing security of quantum cryptographic protocols, combining a classical algebraic rewrite system for knowledge with an operational semantic…
math.LO2008
Ockham's razor and reasoning about information flow
Mehrnoosh Sadrzadeh
What is the minimal algebraic structure to reason about information flow? Do we really need the full power of Boolean algebras with co-closure and de Morgan dual operators? How muc…