Phillip J. Windley

Publication Activity (10 Years)

Years Active: 1990-2021
Publications (10 Years): 3

Top Topics

Database Security

Top Venues

IEEE Internet Comput.

IEEE Consumer Electron. Mag.

Frontiers Blockchain

Publications

Phillip J. Windley
Sovrin: An Identity Metasystem for Self-Sovereign Identity. Frontiers Blockchain 4 (2021)
Phillip J. Windley
Multisource Digital Identity. IEEE Internet Comput. 23 (5) (2019)
Phillip J. Windley
API Access Control with OAuth: Coordinating interactions with the Internet of Things. IEEE Consumer Electron. Mag. 4 (3) (2015)
Phillip J. Windley, Devlin Daley, Bryant Cutler, Kevin Tew
Using reputation to augment explicit authorization. Digital Identity Management (2007)
Paul E. Black, Phillip J. Windley
Formal Verification of Secure Programs in the Presence of Side Effects. HICSS (3) (1998)
Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley
Alexandria: A Tool for Hierarchical Verification. FMCAD (1998)
Paul E. Black, Phillip J. Windley
Verifying Resilient Software. HICSS (5) (1997)
Phillip J. Windley, Jerry R. Burch
Mechanically Checking a Lemma Used in an Automatic Verification Tool. FMCAD (1996)
Paul E. Black, Phillip J. Windley
Inference Rules for Programming Languages with Side Effects in Expressions. TPHOLs (1996)
Phillip J. Windley
Formal Modeling and Verification of Microprocessors. IEEE Trans. Computers 44 (1) (1995)
Paul E. Black, Phillip J. Windley
Autotically Synthesized Term Denotation Predicates: A Proof Aid. TPHOLs (1995)
Phillip J. Windley, Michael L. Coe
A Correctness Model for Pipelined Multiprocessors. TPCD (1994)
Phillip J. Windley
Specifying Instruction-Set Architectures in HOL: A Primer. TPHOLs (1994)
Michael Barnett, Phillip J. Windley
Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors. Comput. Sci. Educ. 5 (1) (1994)
Phillip J. Windley
A Theory of Generic Interpreters. CHARME (1993)
Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley
Report on the UCD Microcoded Viper Verification Project. HUG (1993)
David A. Fura, Phillip J. Windley, Arun K. Somani
Abstraction Techniques for Modeling Real-World Interface Chips. HUG (1993)
Mark D. Aagaard, Miriam Leeser, Phillip J. Windley
Toward a Super Duper Hardware Tactic. HUG (1993)
J. W. Gambles, Phillip J. Windley
Reasoning about the VHDL Standard Logic Package Signal Data Type. CHDL (1993)
Kelly M. Hall, Phillip J. Windley
Simulating Microprocessors from Formal Specifications. TPHOLs (1992)
Phillip J. Windley
Abstract Theories in HOL. TPHOLs (1992)
Phillip J. Windley
The practical verification of microprocessor designs. Compcon (1991)
Phillip J. Windley
The Practical Verification of Microprocessor Designs. TPHOLs (1991)
J. W. Gambles, Phillip J. Windley
An HOL Theory for Logic States with Indeterminate Strengths. TPHOLs (1991)
Phillip J. Windley
A Hierarchical Methodology for Verifying Microprogrammed Microprocessors. IEEE Symposium on Security and Privacy (1990)