| 2011 | FM | Specifying Confidentiality in Circus. | Michael J. Banks, Jeremy L. Jacob |
| 2008 | ICICS | Threat Modelling in User Performed Authentication. | Xun Dong, John A. Clark, Jeremy L. Jacob |
| 2005 | Coordination | Coordination with Multicapabilities. | Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob |
| 2004 | CEC | Searching for cost functions. | John A. Clark, Jeremy L. Jacob, Susan Stepney |
| 2004 | CEC | The design of s-boxes by simulated annealing. | John A. Clark, Jeremy L. Jacob, Susan Stepney |
| 2003 | CEC | Automated design of security protocols. | Hao Chen, John A. Clark, Jeremy L. Jacob |
| 2003 | CEC | Almost Boolean functions: the design of Boolean functions by spectral inversion. | John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica |
| 2003 | GECCO | 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 |
| 2002 | EuroCrypt | Fault Injection and a Timing Channel on an Analysis Technique. | John A. Clark, Jeremy L. Jacob |
| 2002 | INDOCRYPT | Evolving Boolean Functions Satisfying Multiple Criteria. | John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan |
| 2000 | Coordination | A Principled Semantics for inp. | Jeremy L. Jacob, Alan M. Wood |
| 2000 | SP | Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. | John A. Clark, Jeremy L. Jacob |