Jeremy L. Jacob

Available identifiers

zbMath Open jacob.jeremy-lMaRDI QIDQ736832

List of research outcomes

Publication	Date of Publication	Type
Temporal reasoning through automatic translation of tock-CSP into timed automata	2022-07-13	Paper
On integrating confidentiality and functionality in a formal method	2016-08-05	Paper
Synthesising efficient and effective security protocols	2013-09-25	Paper
Unifying Theories of Confidentiality	2010-11-09	Paper
On Modelling User Observations in the UTP	2010-11-09	Paper
A CSP model of Eiffel's SCOOP	2007-11-28	Paper
Coordination with multicapabilities	2007-01-22	Paper
The designs of S-boxes by simulated annealing	2006-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737243	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4449844	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417410	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q2721147	2001-07-01	Paper
On the security of recent protocols	1997-02-28	Paper
A model of reconfiguration in communicating sequential processes with a notion of transactions	1992-06-28	Paper
Separability and the detection of hidden channels	1990-01-01	Paper
A model of reconfiguration in communicating sequential processes	1990-01-01	Paper

Research outcomes over time

This page was built for person: Jeremy L. Jacob