Department of Computer Science
4130 Upson Hall, Office 4115C
Ithaca, NY 14853-7501
Title of Presentation: Policy-Induced Computer Science Problems
Technological revolutions often prompt changes to law and values. However, changes to the technology are sometimes (but not always) feasible and the better solution. The extent to which the law or the technology must change depends partly on answers to scientific questions, and recognizing those questions is often difficult. [More Information]
Fred B. Schneider is a professor at Cornell's Computer Science Department and director of the AFRL/Cornell Information Assurance Instutute. He has an M.S. and Ph.D. from SUNY Stony Brook and a B.S. from Cornell. Schneider is author of the graduate text "On Concurrent Programming" and co-author (with David Gries) of the undergraduate text "A Logical Approach to Discrete Math". In addition to chairing the National Research Council's study committee on information systems trustworthiness, he edited "Trust in Cyberspace" which describes that study's conclusions.
Schneider is a fellow of AAAS and ACM and is Professor at Large at University of Tromso (Norway). He is is co-managing editor of Springer-Verlag's Texts and Monographs in Computer Science, and serves on a number of journal editorial boards. He holds patents in the area of fault-tolerant system design.
Schneider's research concerns building secure and fault-tolerant systems. Most recently, he has been exploring the use of "in-lined reference monitors" for security policy enforcement by rewriting object programs before they execute. As a means to understand issues associated with composing security and fault-tolerance, he has been involved in the design and construction of COCA (Cornell On-line Certification Authority)--a system that combines Byzantine fault-tolerance and threshold cryptography with inherent defenses to denial of service attacks.