Implementing a High-Assurance Smart-Card OS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards. Implementing a High-Assurance Smart-Card OS. In Radu Sion, editor, Financial Cryptography and Data Security, 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers. Volume 6052 of Lecture Notes in Computer Science, pages 51-65, Springer, 2010. [doi]

This author has not been identified. Look up 'Paul A. Karger' in GoogleThis author has not been identified. Look up 'David C. Toll' in GoogleThis author has not been identified. Look up 'Elaine R. Palmer' in GoogleThis author has not been identified. Look up 'Suzanne McIntosh' in GoogleThis author has not been identified. Look up 'Samuel Weber' in GoogleThis author has not been identified. Look up 'Jonathan W. Edwards' in Google

runs on WebDSL