Towards Verification of Well-Formed Transactions in Java Card Bytecode

René Rydhof Hansen; Igor Siveroni

Towards Verification of Well-Formed Transactions in Java Card Bytecode

René Rydhof Hansen, Igor Siveroni

Research output: Contribution to journal › Conference article › Research

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	141
Issue number	1
Pages (from-to)	145-162
ISSN	1571-0661
Publication status	Published - 2005
Event	Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005) - Duration: 1 Jan 2005 → …

Conference

Conference	Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005)
Period	01/01/2005 → …

OpenUrl availability

Full text

Cite this

@inproceedings{d58d898972cb494596b34094f126801e,

title = "Towards Verification of Well-Formed Transactions in Java Card Bytecode",

author = "Hansen, {Ren{\'e} Rydhof} and Igor Siveroni",

year = "2005",

language = "English",

volume = "141",

pages = "145--162",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "1",

note = "Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005) ; Conference date: 01-01-2005",

}

TY - GEN

T1 - Towards Verification of Well-Formed Transactions in Java Card Bytecode

AU - Hansen, René Rydhof

AU - Siveroni, Igor

PY - 2005

Y1 - 2005

M3 - Conference article

VL - 141

SP - 145

EP - 162

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 1

T2 - Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005)

Y2 - 1 January 2005

ER -