Jeremy L. Jacob

Publication Activity (10 Years)

Years Active: 1998-2016
Publications (10 Years): 1

Top Topics

Collaborative Filtering

Telecommunication Systems

Top Venues

Formal Aspects Comput.

Publications

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