8 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
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…