Phillip J. Windley

According to our database, Phillip J. Windley authored at least 25 papers between 1990 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Sovrin: An Identity Metasystem for Self-Sovereign Identity.

Phillip J. Windley

Frontiers Blockchain, 2021

2019

Multisource Digital Identity.

Phillip J. Windley

IEEE Internet Comput., 2019

2015

API Access Control with OAuth: Coordinating interactions with the Internet of Things.

Phillip J. Windley

IEEE Consumer Electron. Mag., 2015

2007

Using reputation to augment explicit authorization.

Phillip J. Windley, Devlin Daley, Bryant Cutler, Kevin Tew

Proceedings of the 2007 Workshop on Digital Identity Management, 2007

2005

Digital identity.

Phillip J. Windley

O'Reilly, ISBN: 978-0-596-00878-9, 2005

1998

Formal Verification of Secure Programs in the Presence of Side Effects.

Paul E. Black, Phillip J. Windley

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Alexandria: A Tool for Hierarchical Verification.

Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997

Verifying Resilient Software.

Paul E. Black, Phillip J. Windley

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Inference Rules for Programming Languages with Side Effects in Expressions.

Paul E. Black, Phillip J. Windley

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Mechanically Checking a Lemma Used in an Automatic Verification Tool.

Phillip J. Windley, Jerry R. Burch

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Formal Modeling and Verification of Microprocessors.

Phillip J. Windley

IEEE Trans. Computers, 1995

Autotically Synthesized Term Denotation Predicates: A Proof Aid.

Paul E. Black, Phillip J. Windley

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors.

Michael Barnett, Phillip J. Windley

Comput. Sci. Educ., 1994

Specifying Instruction-Set Architectures in HOL: A Primer.

Phillip J. Windley

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

A Correctness Model for Pipelined Multiprocessors.

Phillip J. Windley, Michael L. Coe

Proceedings of the Theorem Provers in Circuit Design, 1994

1993

Abstraction Techniques for Modeling Real-World Interface Chips.

David A. Fura, Phillip J. Windley, Arun K. Somani

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Report on the UCD Microcoded Viper Verification Project.

Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Toward a Super Duper Hardware Tactic.

Mark D. Aagaard, Miriam Leeser, Phillip J. Windley

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Reasoning about the VHDL Standard Logic Package Signal Data Type.

J. W. Gambles, Phillip J. Windley

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

A Theory of Generic Interpreters.

Phillip J. Windley

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992

Abstract Theories in HOL.

Phillip J. Windley

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Simulating Microprocessors from Formal Specifications.

Kelly M. Hall, Phillip J. Windley

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1991

An HOL Theory for Logic States with Indeterminate Strengths.

J. W. Gambles, Phillip J. Windley

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

The practical verification of microprocessor designs.

Phillip J. Windley

Proceedings of the Compcon Spring '91, San Francisco, 1991

1990

A Hierarchical Methodology for Verifying Microprogrammed Microprocessors.

Phillip J. Windley

Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990