Jeremy L. Jacob

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Temporal reasoning through automatic translation of tock-CSP into timed automata (available as arXiv preprint)	2022-07-13	Paper
On integrating confidentiality and functionality in a formal method Formal Aspects of Computing	2016-08-05	Paper
Synthesising efficient and effective security protocols	2013-09-25	Paper
Unifying theories of confidentiality Unifying Theories of Programming	2010-11-09	Paper
On modelling user observations in the UTP Unifying Theories of Programming	2010-11-09	Paper
A CSP model of Eiffel's SCOOP Formal Aspects of Computing	2007-11-28	Paper
Coordination with multicapabilities Science of Computer Programming	2007-01-22	Paper
The designs of S-boxes by simulated annealing New Generation Computing	2006-06-12	Paper
scientific article; zbMATH DE number 2086706 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2040747 (Why is no real title available?)	2004-02-11	Paper
scientific article; zbMATH DE number 1955796 (Why is no real title available?)	2003-07-29	Paper
scientific article; zbMATH DE number 1612515 (Why is no real title available?)	2001-07-01	Paper
On the security of recent protocols Information Processing Letters	1997-02-28	Paper
A model of reconfiguration in communicating sequential processes with a notion of transactions Information Processing Letters	1992-06-28	Paper
Separability and the detection of hidden channels Information Processing Letters	1990-01-01	Paper
A model of reconfiguration in communicating sequential processes Information Processing Letters	1990-01-01	Paper

Research outcomes over time

This page was built for person: Jeremy L. Jacob