3 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Cas Cremers
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of th…