CardKt: Automated multi-modal deduction on Java cards for multi-application security

Rajeev Gore, Phuong Nguyen

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Java on Smart Cards: Programming and Security
Editors	Attali, I & Jensen, T
Place of Publication	Berlin
Publisher	Springer
Pages	38-51
Volume	1
Edition	1st
ISBN (Print)	354042167X
Publication status	Published - 2001

Name
Volume	LNCS 2041

Cite this

@inbook{b206543d7a8d4267b73f2c7d7fed7a2b,

title = "CardKt: Automated multi-modal deduction on Java cards for multi-application security",

author = "Rajeev Gore and Phuong Nguyen",

year = "2001",

language = "English",

isbn = "354042167X",

volume = "1",

publisher = "Springer",

pages = "38--51",

editor = "{Attali, I & Jensen, T}",

booktitle = "Java on Smart Cards: Programming and Security",

edition = "1st",

}