7 citations · 13 across the 4 of their papers we have counts for
4 papers
A Trace Based Bisimulation for the Spi Calculus
Alwen Tiu
A notion of open bisimulation is formulated for the spi calculus, an extension of the pi-calculus with cryptographic primitives. In this formulation, open bisimulation is indexed b…
Induction and Co-induction in Sequent Calculus
Alwen Tiu, Alberto Momigliano
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus…
Proof Search Specifications of Bisimulation and Modal Logics for the pi-Calculus
Alwen Tiu, Dale Miller
We specify the operational semantics and bisimulation relations for the finite pi-calculus within a logic that contains the nabla quantifier for encoding generic judgments and defi…
A proof theoretic analysis of intruder theories
Alwen Tiu, Rajeev Gore
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message can be deduced from a set of messages under the theor…