Jeremy Jacob

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 3

Top Topics

Constraint Propagation

Uncertainty Management

Tree Decomposition

Temporal Reasoning

Top Venues

Publications

Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. CoRR (2021)
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. SBMF (2021)
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
Automatic Translation of tock-CSP into Timed Automata. CoRR (2020)
Eerke A. Boiten, Jeremy Jacob
Sealed Containers in Z. ABZ (2014)
Mustafa Aydin, Jeremy Jacob
Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors. CLOSER (2014)
Mustafa Aydin, Jeremy Jacob
A comparison of major issues for the development of forensics in cloud computing. ICITST (2013)
Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob
The certification of the Mondex electronic purse to ITSEC Level E6. Formal Aspects Comput. 20 (1) (2008)
David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding
Searching for resource-efficient programs: low-power pseudorandom number generators. GECCO (2008)
Hao Chen, John A. Clark, Jeremy Jacob
Human competitive security protocols synthesis. GECCO (2006)
Howard Chivers, Jeremy Jacob
Specifying Information-Flow Controls. ICDCS Workshops (2005)
Andreas Schaad, Jonathan D. Moffett, Jeremy Jacob
The role-based access control system of a European bank: a case study and discussion. SACMAT (2001)
Nathalie Foster, Jeremy Jacob
Hazard Analysis for Security Protocol Requirements. Network Security (2001)
John A. Clark, Jeremy Jacob
Two-Stage Optimisation in the Design of Boolean Functions. ACISP (2000)
John A. Clark, Jeremy Jacob
On the Security of Recent Protocols. Inf. Process. Lett. 56 (3) (1995)
Simon N. Foley, Jeremy Jacob
Specifying security for CSCW systems. CSFW (1995)
Simon N. Foley, Jeremy Jacob
Specifying Security for Computer Supported Collaborative Working. J. Comput. Secur. 3 (4) (1995)
Jeremy Jacob
A Model of Reconfiguration in Communicating Sequential Processes with a Notion of Transactions. Inf. Process. Lett. 41 (1) (1992)
Jeremy Jacob
Basic Theorems About Security. J. Comput. Secur. 1 (3-4) (1992)
Jeremy Jacob
The Basic Integrity Theorem. CSFW (1991)
Jeremy Jacob
A Uniform Presentation of Confidentiality Properties. IEEE Trans. Software Eng. 17 (11) (1991)
Jeremy Jacob
Categorizing non-interference. CSFW (1990)
Jeremy Jacob
Separability and the Detection of Hidden Channels. Inf. Process. Lett. 34 (1) (1990)
Jeremy Jacob
A Model of Reconfiguration in Communicating Sequential Processes. Inf. Process. Lett. 35 (1) (1990)
Jeremy Jacob
On the Derivation of Secure Components. IEEE Symposium on Security and Privacy (1989)
Jeremy Jacob
Security specifications. IEEE Symposium on Security and Privacy (1988)
Jeremy Jacob
A Security Framework. CSFW (1988)