4 citations · 4 across the 1 of their papers we have counts for
1 paper
Francis Klay, Judson Santiago, Laurent Vigneron
Non-repudiation protocols have an important role in many areas where secured transactions with proofs of participation are necessary. Formal methods are clever and without error, t…