Items where authors include "Jacob, J.L."

Article

Brooke, P.J., Paige, R.F. and Jacob, J.L. (2007) A CSP Model of Eiffel's SCOOP. Formal Aspects of Computing, 19 (4). pp. 487-512. ISSN 0934-5043

Clark, J.A., Jacob, J.L., Maitra, S. et al. (1 more author) (2004) Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion. Computational Intelligence, 20 (3). pp. 450-462. ISSN 0824-7935

Hao, C., Clark, J.A. and Jacob, J.L. (2004) Automated design of security protocols. Computational Intelligence, 20 (3). pp. 503-516. ISSN 0824-7935

Clark, J.A., Jacob, J.L. and Stepney, S. (2004) The Design of S-Boxes by Simulated Annealing. New Generation Computing, 23 (23). pp. 219-232. ISSN 0288-3635

Proceedings Paper

Clark, J.A., Jacob, J.L. and Stepney, S. (2003) Secret Agents Leave Big Footprints: How to plant a cryptographic trapdoor, and why you might not get away with it. In: Proceedings of the Genetic and Evolutionary Computation Conference 2003. GECCO 2003, July 12–16, 2003, Chicago, IL, USA. Lecture Notes in Computer Science, II (2724). Springer , Berlin / Heidelberg , pp. 2022-2033. ISBN 978-3-540-40603-7

Clark, J.A., Jacob, J.L., Stepney, S. et al. (2 more authors) (2002) Evolving boolean functions satisfying multiple criteria. In: Menezes, A. and Sarkar, P., (eds.) Progress in Cryptology - INDOCRYPT 2002. Proceedings. Third International Conference on Cryptology in India, December 16-18, 2002, Hyderabad, India. Lecture Notes in Computer Science (2551). Springer , Berlin / Heidelberg , pp. 246-259. ISBN 978-3-540-00263-5

Clark, J.A. and Jacob, J.L. (2002) Fault injection and a timing channel on an analysis technique. In: Advances in Cryptology: International Conference on the Theory and Applications of Cryptographic Techniques. EUROCRYPT 2002, April 28 – May 2, 2002, Amsterdam, The Netherlands. Lecture Notes in Computer Science (2332). Springer-verlag , Berlin / Heidelberg , pp. 181-196. ISBN 978-3-540-43553-2