134 citations · 254 across the 10 of their papers we have counts for
1 paper · 1 filter
Dominique Unruh
We present a logic for reasoning about pairs of interactive quantum programs - quantum relational Hoare logic (qRHL). This logic follows the spirit of probabilistic relational Hoar…