The synthesis of a Java card tokenisation algorithm
- 25 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Inductive definitions in the system Coq rules and propertiesPublished by Springer Nature ,2005
- Moving proofs-as-programs into practicePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Correctness of Java Card Method Lookup via Logical RelationsPublished by Springer Nature ,2000
- Certified version of Buchberger's algorithmPublished by Springer Nature ,1998
- Synthesis of ML programs in the system CoqJournal of Symbolic Computation, 1993