Searching for authors named "Vernon Austel" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Implementing abstract types in ACL2
- …Implementing abstract types in ACL2 Vernon Austel IBM T.J. Watson Research Center July 7, 2003…
- Cited by 1 (1 self) – Add To MetaCart
-
Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors
- … Formal Model for Programmable Secure Coprocessors Sean W. Smith and Vernon Austel IBM T.J. Watson…
- Cited by 17 (2 self) – Add To MetaCart
-
Verification of a Formal Security Model for Multiapplicative Smart Cards
- … , Wolfgang Reif 1 , Axel Schairer 2 , Paul Karger 3 , Vernon Austel 3 , and David Toll 3 1 Universität…
- Cited by 2 (1 self) – Add To MetaCart
-
Verified Formal Security Models for
- … Reif1, Axel Schairer2, Paul Karger3, Vernon Austel3, and David Toll3 1 Universit"at Augsburg…
- Add To MetaCart
-
Verified Formal Security Models for Multiapplicative Smart
- … Reif 1 , Axel Schairer 2 , Paul Karger 3 , Vernon Austel 3 , and David Toll 3 1 Universität Augsburg…
- Add To MetaCart
-
Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors
- … Sean W. Smith Vernon Austel Secure Systems and Smart Cards IBM T.J. Watson Research Center Yorktown…
- Add To MetaCart
-
Towards Computer-Verified Proofs of Correctness of Logic-Programming Interpreters Using Derivations
- … for the degree Doctor of Philosophy in Computer Science by Vernon Ralph Austel 1997 c fl Copyright by Vernon…
- Add To MetaCart
-
Using mandatory secrecy and integrity for business to business applications on mobile devices
- … Paul A. Karger, Vernon R. Austel, and David C. Toll IBM Research Division, Thomas J. Watson Research…
- Cited by 3 (3 self) – Add To MetaCart
-
Verification of a Formal Security Model for
- …, Wolfgang Reif1, Axel Schairer2,Paul Karger 3, Vernon Austel3, and David Toll3 1 Universit"at Augsburg…
- Add To MetaCart
Showing 1 through 9.
