Christopher D. Richards

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 1

Top Topics

Global Information

Globally Consistent

Intrusion Detection

Top Venues

USENIX Annual Technical Conference

Publications

Ruoming Pang, Ramón Cáceres, Mike Burrows, Zhifeng Chen, Pratik Dave, Nathan Germer, Alexander Golynski, Kevin Graney, Nina Kang, Lea Kissner, Jeffrey L. Korn, Abhishek Parmar, Christopher D. Richards, Mengzhi Wang
Zanzibar: Google's Consistent, Global Authorization System. USENIX Annual Technical Conference (2019)
Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
Semantic foundations for typed assembly languages. ACM Trans. Program. Lang. Syst. 32 (3) (2010)
Andrew W. Appel, Maia Ginsburg, Harri Hursti, Brian W. Kernighan, Christopher D. Richards, Gang Tan, Penny Venetis
The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine. EVT/WOTE (2009)
Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon
A very modal model of a modern, major, general type system. POPL (2007)