Jeremy L. Jacob

28 papers A* 1A 1B 5C 3Misc 1Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2016 — conf
Providing Extensibility to Threat Modelling in Cloud-COVER's Underlying Analysis Model.
EISIC
Mustafa Aydin, Jeremy L. Jacob
2015 — conf
Cloud-COVER: Using User Security Attribute Preferences and Propagation Analysis to Prioritise Threats to Systems.
EISIC
Mustafa Aydin, Jeremy L. Jacob
2014 J jnl
On integrating confidentiality and functionality in a formal method.
Formal Aspects Comput.
Michael J. Banks, Jeremy L. Jacob
2011 B conf
Specifying Confidentiality in Circus.
FM
Michael J. Banks, Jeremy L. Jacob
2010 J jnl
Defending the weakest link: phishing websites detection by analysing user behaviours.
Telecommun. Syst.
Xun Dong, John A. Clark, Jeremy L. Jacob
2010 — conf
On Modelling User Observations in the UTP.
UTP
Michael J. Banks, Jeremy L. Jacob
2010 — conf
Trace Specifications in Alloy.
ASM
Jeremy L. Jacob
2010 — conf
Unifying Theories of Confidentiality.
UTP
Michael J. Banks, Jeremy L. Jacob
2008 C conf
Threat Modelling in User Performed Authentication.
ICICS
Xun Dong, John A. Clark, Jeremy L. Jacob
2008 — conf
User behaviour based phishing websites detection.
IMCSIT
Xun Dong, John A. Clark, Jeremy L. Jacob
2007 J jnl
A CSP model of Eiffel's SCOOP.
Formal Aspects Comput.
Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob
2007 J jnl
Coordination with multicapabilities.
Sci. Comput. Program.
Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob
2005 C conf
Coordination with Multicapabilities.
COORDINATION
Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob
2005 J jnl
The Design of S-Boxes by Simulated Annealing.
New Gener. Comput.
John A. Clark, Jeremy L. Jacob, Susan Stepney
2004 J jnl
Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion.
Comput. Intell.
John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica
2004 J jnl
Automated Design of Security Protocols.
Comput. Intell.
Hao Chen, John A. Clark, Jeremy L. Jacob
2004 B conf
Searching for cost functions.
IEEE Congress on Evolutionary Computation
John A. Clark, Jeremy L. Jacob, Susan Stepney
2004 — conf
Synthesising Efficient and Effective Security Protocols.
ARSPA@IJCAR
Hao Chen, John A. Clark, Jeremy L. Jacob
2004 B conf
The design of s-boxes by simulated annealing.
IEEE Congress on Evolutionary Computation
John A. Clark, Jeremy L. Jacob, Susan Stepney
2003 B conf
Almost Boolean functions: the design of Boolean functions by spectral inversion.
IEEE Congress on Evolutionary Computation
John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica
2003 B conf
Automated design of security protocols.
IEEE Congress on Evolutionary Computation
Hao Chen, John A. Clark, Jeremy L. Jacob
2003 A conf
Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It.
GECCO
John A. Clark, Jeremy L. Jacob, Susan Stepney
2002 Misc conf
Evolving Boolean Functions Satisfying Multiple Criteria.
INDOCRYPT
John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan
2002 A* conf
Fault Injection and a Timing Channel on an Analysis Technique.
EUROCRYPT
John A. Clark, Jeremy L. Jacob
2001 J jnl
Protocols are programs too: the meta-heuristic search for security protocols.
Inf. Softw. Technol.
John A. Clark, Jeremy L. Jacob
2000 C conf
A Principled Semantics for inp.
COORDINATION
Jeremy L. Jacob, Alan M. Wood
2000 — conf
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols.
S&P
John A. Clark, Jeremy L. Jacob
1998 J jnl
A practical language and toolkit for high-integrity tools.
J. Syst. Softw.
Ian Toyn, David Michael Cattrall, John A. McDermid, Jeremy L. Jacob