PL seminar talk this thursday (5/13)

[Thomas Reps <reps@xxxxxxxxxxx>]

Dennis Volpano is a vistor to the department this summer.  I've asked
him to give a talk about his work on secrecy in programming languages.

Tom
*********************************************************************

-N Progamming Languages Seminar
-S Dennis Volpano
-F Naval Postgraduate School
-T Secrecy in Programming Languages
-D 05/13/99
-W Thursday
-M 4:00 PM
-P 2310
-A
.pp
This talk will survey some secrecy properties proposed for
deterministic and nondeterministic programming languages.  A goal is
to provide an overview of the issues in designing a language for which one
or more of these properties can be proved once and for all programs written
in the language.