🚀 go-pugleaf

University of Colorado at Boulder
Department of Computer Science
ECOT 717 Engineering Center
Campus Box 430
Boulder, Colorado 803090430
(303) 4927514, FAX: (303) 4922844

CS COLLOQUIUM
Programming Languages for Information Security
Steve Zdancewic
Cornell University
NOTE:  Date, Time & Location Change

Monday, April 15, 2002
2:00-3:00 PM
Engineering Center Classroom 200

Refreshments will be served afterwards in ECOT 832

Our society's widespread dependence on networked information systems for 
everything from personal finance to military communications makes it 
essential to improve the reliability and security of software. Recently, 
programming-languages research has demonstrated that security concerns can 
be addressed by using both program analysis and program rewriting as 
powerful and flexible enforcement mechanisms.

I will describe how to use programming-language techniques to enforce 
information-flow policies, which are a natural, high-level way of 
specifying how programs may manipulate confidential data. One challenge is 
to verify information-flow policies in low-level (assembly or bytecode) 
programs. Doing so is desirable for security because it creates the 
possibilities of removing the compiler from the trusted computing base and 
verifying mobile code. A second challenge is to enforce information-flow 
policies in distributed systems without the need for a universally trusted 
computing platform. I will show how both of these problems can be addressed 
by compiler techniques.



Host:  Amer Diwan
------------------------------
http://www.cs.colorado.edu/department/events/colloquia/colloquia.html

Sign Language Interpreters Available Upon Request.  Please contact Jane 
Obrecht, Department of
Computer Science, Engineering  ECOT 722, 303-492-6101, at least five days 
prior to the colloquium.

_______________________________________________
cscolloq mailing list
cscolloq@cs.colorado.edu
http://www.cs.colorado.edu/mailman/listinfo/cscolloq