Model Checking of Multi-Applet JavaCard Applications∗

Mostly accurate stack scanning

Katherine Barabash
Elliot K. Kolodner
Janice Shepherd

April 2008

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

The PACAP Prototype: a Tool for Detecting Java Card Illegal Flow

Published In I. Attali
T. Jensen
Java On Smart Cards
Pierre Bieber
Jacques Cazin
Abdellah El-marouani
Pierre Girard
Jean-louis Lanet
Virginie Wiels
Guy Zanon

January 2001

This paper presents some practical issues of a joint project between Gemplus and ONERA. In this app...

Formal Development of Safe and Secure Java Card Applets

Mostowski, Wojciech

January 2005

This thesis is concerned with formal development of Java Card applets. Java Card is a technology tha...

Multi-dispatch in the java virtual machine: Design and implementation

Christopher Dutchyn
Paul Lu
Duane Szafron
Steven Bromling
Wade Holst

January 2001

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Model checking of multi-applet JavaCard applications

Chugunov, Gennady
Fredlund, Lars-Åke
Gurov, Dilian

January 2002

The paper describes a framework for model checking JavaCard applets on the bytecode level. >From a s...

Sandboxing applications

Vassilis Prevelakis
Diomidis Spinellis

January 2001

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Detecting and countering system intrusions using software wrappers

Calvin Ko
Timothy Fraser
Lee Badger
Douglas Kilpatrick

January 2000

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

SableVM: A Research Framework for the EÆcient Execution of Java Bytecode

Etienne M. Gagnon
Laurie J. Hendren

January 2001

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Detection of Non-declared Capabilities of JavaCard Applications

Sergey Sergeevich Agafyin
Anton Andreevich Krasnopevtsev
Pavel Vladimirovich Smirnov

September 2013

At this paper authors describe the methodic of detecting non-declared capabilities of JavaCard softw...

Supporting time-sensitive applications on a commodity OS

Ashvin Goel
Luca Abeni
Charles Krasic
Jim Snow
Jonathan Walpole

January 2002

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Server Security

Subdomain Parsimonious
Crispin Cowan
Steve Beattie
Greg Kroah-hartman
Calton Pu
Perry Wagle
Virgil Gligor

January 2000

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

An examination of the transition of the arjuna distributed transaction processing software from research to products

M. C. Little
S. K. Shrivastava

January 2002

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Reasoning about SMP in FreeBSD

Jeffrey Hsu

December 2014

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Electronic purse applet certification (Extended Abstract)

P. Bieber
J. Cazin
V. Wiels
G. Zanon
P. Girard
J.-L. Lanet

January 2000

The paper describes the status of a joint project between Gemplus and ONERA. Gemplus developed an el...

Using Performance Reflection in Systems Software

Robert Fowler
Willy Zwaenepoel

January 2003

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Mostly accurate stack scanning

Katherine Barabash
Elliot K. Kolodner
Janice Shepherd

April 2008

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

The PACAP Prototype: a Tool for Detecting Java Card Illegal Flow

Published In I. Attali
T. Jensen
Java On Smart Cards
Pierre Bieber
Jacques Cazin
Abdellah El-marouani
Pierre Girard
Jean-louis Lanet
Virginie Wiels
Guy Zanon

January 2001

This paper presents some practical issues of a joint project between Gemplus and ONERA. In this app...

Formal Development of Safe and Secure Java Card Applets

Mostowski, Wojciech

January 2005

This thesis is concerned with formal development of Java Card applets. Java Card is a technology tha...

Multi-dispatch in the java virtual machine: Design and implementation

Christopher Dutchyn
Paul Lu
Duane Szafron
Steven Bromling
Wade Holst

January 2001

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Model checking of multi-applet JavaCard applications

Chugunov, Gennady
Fredlund, Lars-Åke
Gurov, Dilian

January 2002

The paper describes a framework for model checking JavaCard applets on the bytecode level. >From a s...

Sandboxing applications

Vassilis Prevelakis
Diomidis Spinellis

January 2001

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Detecting and countering system intrusions using software wrappers

Calvin Ko
Timothy Fraser
Lee Badger
Douglas Kilpatrick

January 2000

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

SableVM: A Research Framework for the EÆcient Execution of Java Bytecode

Etienne M. Gagnon
Laurie J. Hendren

January 2001

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Detection of Non-declared Capabilities of JavaCard Applications

Sergey Sergeevich Agafyin
Anton Andreevich Krasnopevtsev
Pavel Vladimirovich Smirnov

September 2013

At this paper authors describe the methodic of detecting non-declared capabilities of JavaCard softw...

Supporting time-sensitive applications on a commodity OS

Ashvin Goel
Luca Abeni
Charles Krasic
Jim Snow
Jonathan Walpole

January 2002

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Server Security

Subdomain Parsimonious
Crispin Cowan
Steve Beattie
Greg Kroah-hartman
Calton Pu
Perry Wagle
Virgil Gligor

January 2000

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

An examination of the transition of the arjuna distributed transaction processing software from research to products

M. C. Little
S. K. Shrivastava

January 2002

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Reasoning about SMP in FreeBSD

Jeffrey Hsu

December 2014

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Electronic purse applet certification (Extended Abstract)

P. Bieber
J. Cazin
V. Wiels
G. Zanon
P. Girard
J.-L. Lanet

January 2000

The paper describes the status of a joint project between Gemplus and ONERA. Gemplus developed an el...

Using Performance Reflection in Systems Software

Robert Fowler
Willy Zwaenepoel

January 2003

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

Mostly accurate stack scanning

Katherine Barabash
Elliot K. Kolodner
Janice Shepherd

April 2008

Permission is granted for noncommercial reproduction of the work for educational or research purpose...

The PACAP Prototype: a Tool for Detecting Java Card Illegal Flow

Published In I. Attali
T. Jensen
Java On Smart Cards
Pierre Bieber
Jacques Cazin
Abdellah El-marouani
Pierre Girard
Jean-louis Lanet
Virginie Wiels
Guy Zanon

January 2001

This paper presents some practical issues of a joint project between Gemplus and ONERA. In this app...

Formal Development of Safe and Secure Java Card Applets

Mostowski, Wojciech

January 2005

This thesis is concerned with formal development of Java Card applets. Java Card is a technology tha...

Model Checking of Multi-Applet JavaCard Applications∗

Abstract

Extracted data

Model Checking of Multi-Applet JavaCard Applications∗

Abstract

Extracted data

Related items

Related items