8 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 5 cited
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended Version
Ranald Clouston, Jeremy Dawson, Rajeev Gore +1
Full Intuitionistic Linear Logic (FILL) is multiplicative intuitionistic linear logic extended with par. Its proof theory has been notoriously difficult to get right, and existing…
cs.LO2010★ 8 cited
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 theor…