E. Thomas Schubert

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Publications

E. Thomas Schubert, Sarah Mocas
A Mechanized Logic for Secure Key Escrow Protocol Verification. TPHOLs (1995)
E. Thomas Schubert
A Hybrid Model for Reasoning about Composed Hardware Systems. CAV (1994)
Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley
Report on the UCD Microcoded Viper Verification Project. HUG (1993)
E. Thomas Schubert
Verification of Integrated Subsystems. TPHOLs (1991)
E. Thomas Schubert
Verification of Composed Hardware Systems Using CCS. TPHOLs (1991)