7 citations · 13 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2008★ 7 cited
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…
cs.LO2008★ 2 cited
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…
cs.LO2008
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…