Follow
Alan Jeffrey
Title
Cited by
Cited by
Year
Authenticity by typing for security protocols
AD Gordon, A Jeffrey
Journal of computer security 11 (4), 451-519, 2003
3422003
Types and effects for asymmetric cryptographic protocols
AD Gordon, A Jeffrey
Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE, 77-91, 2002
2202002
Towards a theory of accountability and audit
R Jagadeesan, A Jeffrey, C Pitcher, J Riely
Computer Security–ESORICS 2009, 152-167, 2009
1452009
Java Jr: Fully abstract trace semantics for a core Java language
A Jeffrey, J Rathke
Programming Languages and Systems, 423-438, 2005
1332005
A fully abstract may testing semantics for concurrent objects
A Jeffrey, J Rathke
IEEE Logic in Computer Science, 101-112, 2002
1082002
Model checking firewall policy configurations
A Jeffrey, T Samak
2009 IEEE International Symposium on Policies for Distributed Systems and …, 2009
922009
A theory of weak bisimulation for core CML
W Ferreira, M Hennessy, A Jeffrey
Journal of Functional Programming 8 (05), 447-491, 1998
891998
A calculus of untyped aspect-oriented programs
R Jagadeesan, A Jeffrey, J Riely
ECOOP 2003--Object-Oriented Programming, 54-73, 2003
862003
LTL types FRP: Linear-time Temporal Logic Propositions as Types, Proofs as Functional Reactive Programs
A Jeffrey
ACM Workshop Programming Languages meets Program Verification, 2012
852012
Contextual equivalence for higher-order pi-calculus revisited
A Jeffrey, J Rathke
Logical Methods in Computer Science 1 (1), 2005
842005
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
A Jeffrey, J Riely
IEEE Logic in Computer Science, 2016
822016
Typing correspondence assertions for communication protocols
AD Gordon, A Jeffrey
Theoretical Computer Science 300 (1-3), 379-409, 2003
772003
Towards a theory of bisimulation for local names
A Jeffrey, J Rathke
Logic in Computer Science, 1999. Proceedings. 14th Symposium on, 56-66, 1999
691999
μABC: A minimal aspect calculus
G Bruns, R Jagadeesan, A Jeffrey, J Riely
CONCUR 2004-Concurrency Theory, 209-224, 2004
572004
Pattern-matching spi-calculus
C Haack, A Jeffrey
Formal Aspects in Security and Trust, 55-70, 2005
562005
Typing correspondence assertions for communication protocols
AD Gordon, A Jeffrey
Electronic Notes in Theoretical Computer Science 45, 119-140, 2001
542001
Typed parametric polymorphism for aspects
R Jagadeesan, A Jeffrey, J Riely
Science of Computer Programming 63 (3), 267-296, 2006
522006
Secrecy despite compromise: Types, cryptography, and the pi-calculus
A Gordon, A Jeffrey
CONCUR 2005–Concurrency Theory, 186-201, 2005
512005
A Theory of Weak Bisimulation for Core CML
A Jeffrey
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional …, 1996
51*1996
Premonoidal categories and a graphical view of programs
A Jeffrey
501997
The system can't perform the operation now. Try again later.
Articles 1–20