3 citations · 3 across the 1 of their papers we have counts for
1 paper
Suzana Andova, Cas Cremers, Kristian Gjosteen +3
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis…