Verification of Integrated Subsystems. - E. Thomas Schubert (TPHOLs, 1991)

Verification of Composed Hardware Systems Using CCS. - E. Thomas Schubert (TPHOLs, 1991)

Report on the UCD Microcoded Viper Verification Project. - Tej Arora; Tony Leung; Karl N. Levitt; E. Thomas Schubert; Phillip J. Windley (HUG, 1993)

A Hybrid Model for Reasoning about Composed Hardware Systems. - E. Thomas Schubert (CAV, 1994)

A Mechanized Logic for Secure Key Escrow Protocol Verification. - E. Thomas Schubert; Sarah Mocas (TPHOLs, 1995)