I am William Garrison, officially cited as William C. Garrison III, usually called Bill. I am currently a Ph.D. student in the Computer Science department at the University of Pittsburgh.

I am a student of Dr. Adam Lee. My research interests are primarily based in the formal study of computer security. My current work lies in the analysis of access control mechanisms and incorporation of risk metrics in proof-based authorization systems.

My other interests include cryptography, zero-knowledge protocols, quantum information theory, and computational complexity theory.

Refereed Conference and Workshop Papers

[C11a] Timothy Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, and John C. Mitchell, "TBA: A Hybrid of Logic and Extensional Access Control Systems," in Proceedings of the 8th International Workshop on Formal Aspects of Security & Trust (FAST2011), September 2011. [PDF]
(Extended version available as [T11a].)

Technical Reports

[T11a] Timothy Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, and John C. Mitchell, "TBA: A Hybrid of Logic and Extensional Access Control Systems (Extended Version)," University of Pittsburgh Department of Computer Science Technical Report No. TR-11-182, September 2011. [PDF]
(Extended version of [C11a].)

Spring 2011: CS0449 – Introduction to Systems Software (TA)

Fall 2010: CS0007 – Introduction to Programming (TA)

In addition, during my time at Clarkson, I spent two semesters as a TA of Calculus III, and four semesters as a tutor of various courses in Calculus, Physics, and Computer Science.

email: bill@cs.pitt.edu
office: Sennott Square 6503
phone: 412-926-5401