University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Ewen Denney
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-0143
Nov 2001
The Synthesis of a Java Card Tokenisation Algorithm
EDI-INF-RR-0142
Mar 2002
Logic-based Program Synthesis via Program Extraction
EDI-INF-RR-0141
Jul 2002
Finding Counterexamples to Inductive Conjectures and Discovering Security Protocol Attacks
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh