223 citations · 849 across the 52 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…