Anthony Fox's Affiliations
- ARG Group
- - Ursula Martin
  - Aaron Coble
  - Alexey Gotsman
  - Andrei Kapustin
  - Anthony Fox
  - Behzad Akbarpour
  - Hasan Amjad
  - James Reynolds
  - Jean Martina
  - Joe Hurd
  - Kong Woei Susanto
  - Larry Paulson
  - Magnus Myreen
  - Mateja Jamnik
  - Michael Compton
  - Mike Gordon
  - Thomas TÃ¼rk

Research

(Analysis last run in January 2008)

2005--2007: 'algebraic framework'; 'ARM machine code'; 'elliptic curve cryptography'; 'ARM verification';

2000--2004: 'algebraic models'; 'algebraic framework'; 'formal verification'; 'ARM instruction set architecture'; 'abstract pipelines'; 'correctness for abstract pipelines'; 'formal specification'; 'HOL specification'; 'ARM block data transfer instructions';

1995--1999: 'algebraic models'; 'abstract pipelines'; 'temporal abstraction for initialised iterated state systems'; 'correctness for superscaler microprocessors'; 'abstract pipelined case study'; 'advanced microprocessors';

Related People

Joe Hurd [ ARG ]:
- 'ARM verification'; 'HOL theorem prover'; 'elliptic curve cryptography'; 'formal approach'; 'formal verification';
Mike Gordon [ TSG ][ ARG ]:
- 'ARM machine code'; 'ARM verification'; 'automatic formal synthesis'; 'elliptic curve cryptography';
Larry Paulson [ Security ][ TSG ][ ARG ]:
- 'formal verification';
Magnus Myreen [ ARG ]:
- 'ARM machine code';
David Greaves [ CAG ]:
- 'formal specification';
Peter Sewell [ TSG ]:
- 'abstract types'; 'formal treatments of {c}';
K Sparck Jones [ NLIP ]:
- 'formal theories';

Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages.
©2007 Advaith Siddharthan, Computer Laboratory, University of Cambridge. Please send any comments on this page to as372@cl.cam.ac.uk