Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Correctness of Java Card method lookup via logical relations
Theoretical Computer Science
A B model for ensuring soundness of a large subset of the java card virtual machine
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Correctness of Java Card Method Lookup via Logical Relations
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Tool-Assisted Specification and Verification of the JavaCard Platform
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Efficient Reasoning about Executable Specifications in Coq
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
A Formal Executable Semantics of the JavaCard Platform
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Safety and Security Analysis of Object-Oriented Models
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Decomposing bytecode verification by abstract interpretation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formalisation and verification of the globalplatform card specification using the b method
CASSIS'05 Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Relaxing restrictions on invariant composition in the B method by ownership control a la SPEC#
Rigorous Methods for Software Construction and Analysis
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
Hi-index | 0.00 |