Jeremy Jacob
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1988–2014
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CLOSER | Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors. | Mustafa Aydin, Jeremy Jacob |
| 2008 | GECCO | Searching for resource-efficient programs: low-power pseudorandom number generators. | David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding |
| 2006 | GECCO | Human competitive security protocols synthesis. | Hao Chen, John A. Clark, Jeremy Jacob |
| 2001 | SACMAT | The role-based access control system of a European bank: a case study and discussion. | Andreas Schaad, Jonathan D. Moffett, Jeremy Jacob |
| 2000 | ACISP | Two-Stage Optimisation in the Design of Boolean Functions. | John A. Clark, Jeremy Jacob |
| 1989 | SP | On the Derivation of Secure Components. | Jeremy Jacob |
| 1988 | SP | Security specifications. | Jeremy Jacob |