39 citations · 56 across the 13 of their papers we have counts for
1 paper · 1 filter
Yannick Chevalier, Michaël Rusinowitch
Cryptographic protocols are often specified by narrations, i.e., finite sequences of message exchanges that show the intended execution of the protocol. Another use of narrations i…