2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Alex James, Alwen Tiu, Nisansala Yatapanage
We present an investigation into the design and implementation of a parallel model checker for security protocol verification that is based on a symbolic model of the adversary, wh…