Jeremy L. Jacob - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2016

Providing Extensibility to Threat Modelling in Cloud-COVER's Underlying Analysis ModelMustafa Aydin, Jeremy L. Jacob. eisic 2016: 45-51 [doi]

2015

Cloud-COVER: Using User Security Attribute Preferences and Propagation Analysis to Prioritise Threats to SystemsMustafa Aydin, Jeremy L. Jacob. eisic 2015: 53-60 [doi]

2014

On integrating confidentiality and functionality in a formal methodMichael J. Banks, Jeremy L. Jacob. fac, 26(5):963-992, 2014. [doi]

2011

Specifying Confidentiality in CircusMichael J. Banks, Jeremy L. Jacob. FM 2011: 215-230 [doi]

2010

2008

Threat Modelling in User Performed AuthenticationXun Dong, John A. Clark, Jeremy L. Jacob. icics 2008: 49-64 [doi]

User behaviour based phishing websites detectionXun Dong, John A. Clark, Jeremy L. Jacob. imcsit 2008: 783-790 [doi]

2007

A CSP model of Eiffel s SCOOPPhillip J. Brooke, Richard F. Paige, Jeremy L. Jacob. fac, 19(4):487-512, 2007. [doi]

Coordination with multicapabilitiesNur Izura Udzir, Alan M. Wood, Jeremy L. Jacob. SCP, 64(2):205-222, 2007. [doi]

2005

Synthesising Efficient and Effective Security ProtocolsHao Chen, John A. Clark, Jeremy L. Jacob. ENTCS, 125(1):25-41, 2005. [doi]

The Design of S-Boxes by Simulated AnnealingJohn A. Clark, Jeremy L. Jacob, Susan Stepney. ngc, 23(3):219-231, 2005. [doi]

Coordination with MulticapabilitiesNur Izura Udzir, Alan M. Wood, Jeremy L. Jacob. coordination 2005: 79-93 [doi]

2004

2003

Automated design of security protocolsHao Chen 0032, John A. Clark, Jeremy L. Jacob. cec 2003: 2181-2188 [doi]

Almost Boolean functions: the design of Boolean functions by spectral inversionJohn A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica. cec 2003: 2173-2180 [doi]

Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with ItJohn A. Clark, Jeremy L. Jacob, Susan Stepney. gecco 2003: 2022-2033 [doi]

2002

Fault Injection and a Timing Channel on an Analysis TechniqueJohn A. Clark, Jeremy L. Jacob. eurocrypt 2002: 181-196 [doi]

Evolving Boolean Functions Satisfying Multiple CriteriaJohn A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan. indocrypt 2002: 246-259 [doi]

2001

Protocols are programs too: the meta-heuristic search for security protocolsJohn A. Clark, Jeremy L. Jacob. INFSOF, 43(14):891-904, 2001.

2000

Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure ProtocolsJohn A. Clark, Jeremy L. Jacob. sp 2000: 82-95 [doi]

A Principled Semantics for inpJeremy L. Jacob, Alan Wood. coordination 2000: 51-65 [doi]

1998

A practical language and toolkit for high-integrity toolsIan Toyn, David M. Cattrall, John A. McDermid, Jeremy L. Jacob. jss, 41(3):161-173, 1998. [doi]

Sign in or sign up to see more results.

runs on WebDSL