Search

• < Previous
• 1
• Next >

---

A Proof Theoretic Analysis of Intruder Theories

Alwen F Tiu ; Rajeev Gore ; Jeremy Dawson.

We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages Gamma under the theory of blind signatures and arbitrary convergent equational theories modulo associativity and commutativity (AC) of&nbsp;[&hellip;]

---

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

Rajeev Gore ; Linda Postniece ; Alwen F Tiu.

We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents. Our first style of calculi is what we call "shallow calculi", where inference rules are only applied&nbsp;[&hellip;]

---