Monday, March 15, 1999
4:15 PM (refreshments 4:00)
Room NE43-518
EECS Special Seminar
Abstract
Since attackers do not always use our preferred high-level abstractions, security depends on many ingenious mechanisms that counter low-level threats. For example, verification techniques impede attacks by low-level mobile code; cryptographic protocols protect communication on untrusted networks. Ultimately, however, these mechanisms are parts of systems and should offer higher-level guarantees. In this talk, we discuss abstractions for protection and the correctness of their implementations. Relying on concepts such as full abstraction, we consider two examples: (1) the translation of Java classes to an intermediate bytecode language, and (2) in the setting of the pi calculus, the implementation of private channels in terms of cryptographic operations.
|
Modified: Mar 15, 1999|
Current events|
Your comments
and inquiries are welcome.