A Security Framework. - Jeremy Jacob (CSFW, 1988)

Security specifications. - Jeremy Jacob (S&P, 1988)

On the Derivation of Secure Components. - Jeremy Jacob (S&P, 1989)

Categorizing non-interference. - Jeremy Jacob (CSFW, 1990)

Separability and the Detection of Hidden Channels. - Jeremy Jacob (Inf. Process. Lett., 1990)

A Model of Reconfiguration in Communicating Sequential Processes. - Jeremy Jacob (Inf. Process. Lett., 1990)

The Basic Integrity Theorem. - Jeremy Jacob (CSFW, 1991)

A Uniform Presentation of Confidentiality Properties. - Jeremy Jacob (IEEE Trans. Software Eng., 1991)

A Model of Reconfiguration in Communicating Sequential Processes with a Notion of Transactions. - Jeremy Jacob (Inf. Process. Lett., 1992)

Basic Theorems About Security. - Jeremy Jacob (J. Comput. Secur., 1992)

Specifying security for CSCW systems. - Simon N. Foley; Jeremy Jacob (CSFW, 1995)

On the Security of Recent Protocols. - John A. Clark; Jeremy Jacob (Inf. Process. Lett., 1995)

Specifying Security for Computer Supported Collaborative Working. - Simon N. Foley; Jeremy Jacob (J. Comput. Secur., 1995)

A practical language and toolkit for high-integrity tools. - Ian Toyn; David Michael Cattrall; John A. McDermid; Jeremy L. Jacob (J. Syst. Softw., 1998)

Two-Stage Optimisation in the Design of Boolean Functions. - John A. Clark; Jeremy Jacob (ACISP, 2000)

A Principled Semantics for inp. - Jeremy L. Jacob; Alan M. Wood (COORDINATION, 2000)

Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. - John A. Clark; Jeremy L. Jacob (S&P, 2000)

Hazard Analysis for Security Protocol Requirements. - Nathalie Foster; Jeremy Jacob (Network Security, 2001)

The role-based access control system of a European bank: a case study and discussion. - Andreas Schaad; Jonathan D. Moffett; Jeremy Jacob (SACMAT, 2001)

Protocols are programs too: the meta-heuristic search for security protocols. - John A. Clark; Jeremy L. Jacob (Inf. Softw. Technol., 2001)

Fault Injection and a Timing Channel on an Analysis Technique. - John A. Clark; Jeremy L. Jacob (EUROCRYPT, 2002)

Evolving Boolean Functions Satisfying Multiple Criteria. - John A. Clark; Jeremy L. Jacob; Susan Stepney; Subhamoy Maitra; William Millan (INDOCRYPT, 2002)

Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It. - John A. Clark; Jeremy L. Jacob; Susan Stepney (GECCO, 2003)

Searching for cost functions. - John A. Clark; Jeremy L. Jacob; Susan Stepney (IEEE Congress on Evolutionary Computation, 2004)

Automated Design of Security Protocols. - Hao Chen 032; John A. Clark; Jeremy L. Jacob (Comput. Intell., 2004)

Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion. - John A. Clark; Jeremy L. Jacob; Subhamoy Maitra; Pantelimon Stanica (Comput. Intell., 2004)

Synthesising Efficient and Effective Security Protocols. - Hao Chen 032; John A. Clark; Jeremy L. Jacob (ARSPA@IJCAR, 2004)

Specifying Information-Flow Controls. - Howard Chivers; Jeremy Jacob (ICDCS Workshops, 2005)

The Design of S-Boxes by Simulated Annealing. - John A. Clark; Jeremy L. Jacob; Susan Stepney (New Gener. Comput., 2005)

Human competitive security protocols synthesis. - Hao Chen 032; John A. Clark; Jeremy Jacob (GECCO, 2006)

A CSP model of Eiffel's SCOOP. - Phillip J. Brooke; Richard F. Paige; Jeremy L. Jacob (Formal Aspects Comput., 2007)

Coordination with multicapabilities. - Nur Izura Udzir; Alan M. Wood; Jeremy L. Jacob (Sci. Comput. Program., 2007)

Searching for resource-efficient programs: low-power pseudorandom number generators. - David Robert White; John A. Clark; Jeremy Jacob; Simon M. Poulding (GECCO, 2008)

Threat Modelling in User Performed Authentication. - Xun Dong; John A. Clark; Jeremy L. Jacob (ICICS, 2008)

User behaviour based phishing websites detection. - Xun Dong; John A. Clark; Jeremy L. Jacob (IMCSIT, 2008)

The certification of the Mondex electronic purse to ITSEC Level E6. - Jim Woodcock 001; Susan Stepney; David Cooper; John A. Clark; Jeremy Jacob (Formal Aspects Comput., 2008)

Trace Specifications in Alloy. - Jeremy L. Jacob (ASM, 2010)

On Modelling User Observations in the UTP. - Michael J. Banks; Jeremy L. Jacob (UTP, 2010)

Unifying Theories of Confidentiality. - Michael J. Banks; Jeremy L. Jacob (UTP, 2010)

Defending the weakest link: phishing websites detection by analysing user behaviours. - Xun Dong; John A. Clark; Jeremy L. Jacob (Telecommun. Syst., 2010)

Specifying Confidentiality in Circus. - Michael J. Banks; Jeremy L. Jacob (FM, 2011)

A comparison of major issues for the development of forensics in cloud computing. - Mustafa Aydin; Jeremy Jacob (ICITST, 2013)

Sealed Containers in Z. - Eerke A. Boiten; Jeremy Jacob (ABZ, 2014)

Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors. - Mustafa Aydin; Jeremy Jacob (CLOSER, 2014)

On integrating confidentiality and functionality in a formal method. - Michael J. Banks; Jeremy L. Jacob (Formal Aspects Comput., 2014)

Cloud-COVER: Using User Security Attribute Preferences and Propagation Analysis to Prioritise Threats to Systems. - Mustafa Aydin; Jeremy L. Jacob (EISIC, 2015)

Providing Extensibility to Threat Modelling in Cloud-COVER's Underlying Analysis Model. - Mustafa Aydin; Jeremy L. Jacob (EISIC, 2016)

Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. - Abdulrazaq Abba; Ana Cavalcanti 001; Jeremy Jacob (SBMF, 2021)