Java smart cards are revolutionising the smart card market, mainly due to their platform-independence, ease of programming, security, multi-functionality and dynamic upload features. Performance of Java smart cards becomes increasingly important. This paper presents CardLab, an evaluation method for Java smart cards, consisting of a benchmarking and performance measurement environment and a complementing qualitative analysis. The CardLab prototype represents a powerful environment for card manufacturers to check the quality and performance of their card systems and to compare it to others, as well as for the card issuers to select a particular card system
AbstractThis work proposes a methodology for the rigorous development of Java Card smart card applic...
International audienceThis paper describes the design and implementation of a static analysis tool f...
Abstract: Cate is a domain-specific testing environment. It integrates both static and dynamic analy...
The advent of the Java Card standard has been a major turning point in smart card technology. With t...
Abstract. The advent of the Java Card standard has been a major turning point in smart card technolo...
With the growing acceptance of the Java card standard, understanding the performance behaviour of th...
The advent of the Java Card standard has been a major turning point in smart card technology. With t...
Performance measurements are used in computer systems to guaranty the best performance at the lowest...
In this paper, we present the experiment we have conducted to evaluate the suitability of Java cards...
To explain why the Java Card operating system has become the most successful smart card operating sy...
Sun Microsystems defined a set of specifications for a subset of Java technology to create applicati...
Since the inception of Java as a cross platform programming language, it has migrated from its initi...
This article describes a Java Card programming environment which to a large extent is generated from...
Abstract. This work proposes a methodology for the rigorous development of Java Card smart card appl...
We present our solution to design and test a security sensitive SmartCard application written in Jav...
AbstractThis work proposes a methodology for the rigorous development of Java Card smart card applic...
International audienceThis paper describes the design and implementation of a static analysis tool f...
Abstract: Cate is a domain-specific testing environment. It integrates both static and dynamic analy...
The advent of the Java Card standard has been a major turning point in smart card technology. With t...
Abstract. The advent of the Java Card standard has been a major turning point in smart card technolo...
With the growing acceptance of the Java card standard, understanding the performance behaviour of th...
The advent of the Java Card standard has been a major turning point in smart card technology. With t...
Performance measurements are used in computer systems to guaranty the best performance at the lowest...
In this paper, we present the experiment we have conducted to evaluate the suitability of Java cards...
To explain why the Java Card operating system has become the most successful smart card operating sy...
Sun Microsystems defined a set of specifications for a subset of Java technology to create applicati...
Since the inception of Java as a cross platform programming language, it has migrated from its initi...
This article describes a Java Card programming environment which to a large extent is generated from...
Abstract. This work proposes a methodology for the rigorous development of Java Card smart card appl...
We present our solution to design and test a security sensitive SmartCard application written in Jav...
AbstractThis work proposes a methodology for the rigorous development of Java Card smart card applic...
International audienceThis paper describes the design and implementation of a static analysis tool f...
Abstract: Cate is a domain-specific testing environment. It integrates both static and dynamic analy...