Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Boutheina Chetali
Formal Verification of Security Properties of Smart Card Embedded Source Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Certifying Native Java Card API by Formal Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Smart Card Programming and Security
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Proofs of Code Generation and Verification Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security Issues in Smart Card Authentication Scheme
International Journal of Computer Theory and Engineering
Modular Verification of Security Protocol Code by Typing
ACM SIGPLAN Notices
Computer Science
Modelling Smart Card Security Protocols in SystemC TLM
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Smart Source Code Editor for C
International Journal of Computer Science, Engineering and Information Technology
Formal Verification of System-Level Safety Properties on Railway Software
