4 citations · 14 across the 8 of their papers we have counts for
1 paper · 1 filter
Emanuele D'Osualdo, Felix Stutz
We develop a theory of decidable inductive invariants for an infinite-state variant of the Applied pi-calculus, with applications to automatic verification of stateful cryptographi…