Jeremy Jacob

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