FACADE: a typed intermediate language dedicated to smart cards
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Proving Theorems About Java-Like Byte Code
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Byte Code Verification for Java Smart Card Based on Model Checking
ESORICS '98 Proceedings of the 5th European Symposium on Research in Computer Security
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Embedding Formally Proved Code in a Smart Card: Converting B to C
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Formal methods for smartcard security
Foundations of Security Analysis and Design III
Hi-index | 0.00 |