Phillip J. Windley

29 papers B 3Journal 5Unranked 18

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Sovrin: An Identity Metasystem for Self-Sovereign Identity. Frontiers Blockchain Phillip J. Windley
2019	J	`jnl`	Multisource Digital Identity. IEEE Internet Comput. Phillip J. Windley
2015	J	`jnl`	API Access Control with OAuth: Coordinating interactions with the Internet of Things. IEEE Consumer Electron. Mag. Phillip J. Windley
2007	—	`conf`	Using reputation to augment explicit authorization. Digital Identity Management Phillip J. Windley, Devlin Daley, Bryant Cutler, Kevin Tew
2005	—	`book`	Digital identity. Phillip J. Windley
1998	B	`conf`	Alexandria: A Tool for Hierarchical Verification. FMCAD Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley
1998	B	`ed.`	Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings FMCAD Ganesh Gopalakrishnan, Phillip J. Windley
1998	—	`conf`	Formal Verification of Secure Programs in the Presence of Side Effects. HICSS (3) Paul E. Black, Phillip J. Windley
1997	—	`conf`	Verifying Resilient Software. HICSS (5) Paul E. Black, Phillip J. Windley
1996	—	`conf`	Inference Rules for Programming Languages with Side Effects in Expressions. TPHOLs Paul E. Black, Phillip J. Windley
1996	B	`conf`	Mechanically Checking a Lemma Used in an Automatic Verification Tool. FMCAD Phillip J. Windley, Jerry R. Burch
1995	—	`conf`	Autotically Synthesized Term Denotation Predicates: A Proof Aid. TPHOLs Paul E. Black, Phillip J. Windley
1995	J	`jnl`	Formal Modeling and Verification of Microprocessors. IEEE Trans. Computers Phillip J. Windley
1995	—	`ed.`	Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings TPHOLs E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss
1994	—	`conf`	A Correctness Model for Pipelined Multiprocessors. TPCD Phillip J. Windley, Michael L. Coe
1994	J	`jnl`	Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors. Comput. Sci. Educ. Michael Barnett, Phillip J. Windley
1994	—	`conf`	Specifying Instruction-Set Architectures in HOL: A Primer. TPHOLs Phillip J. Windley
1993	—	`conf`	A Theory of Generic Interpreters. CHARME Phillip J. Windley
1993	—	`conf`	Abstraction Techniques for Modeling Real-World Interface Chips. HUG David A. Fura, Phillip J. Windley, Arun K. Somani
1993	—	`conf`	Reasoning about the VHDL Standard Logic Package Signal Data Type. CHDL J. W. Gambles, Phillip J. Windley
1993	—	`conf`	Report on the UCD Microcoded Viper Verification Project. HUG Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley
1993	—	`conf`	Toward a Super Duper Hardware Tactic. HUG Mark D. Aagaard, Miriam Leeser, Phillip J. Windley
1992	—	`conf`	Abstract Theories in HOL. TPHOLs Phillip J. Windley
1992	—	`ed.`	Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA TPHOLs Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley
1992	—	`conf`	Simulating Microprocessors from Formal Specifications. TPHOLs Kelly M. Hall, Phillip J. Windley
1991	—	`conf`	An HOL Theory for Logic States with Indeterminate Strengths. TPHOLs J. W. Gambles, Phillip J. Windley
1991	—	`conf`	The Practical Verification of Microprocessor Designs. TPHOLs Phillip J. Windley
1991	—	`conf`	The practical verification of microprocessor designs. Compcon Phillip J. Windley
1990	—	`conf`	A Hierarchical Methodology for Verifying Microprogrammed Microprocessors. S&P Phillip J. Windley