Lecture Notes
lecture1_2.pdf
Description:
Lecture notes covering the following topics: Overview of the Course. The “Classic” Definitional Framework of Multiparty Function Evaluation (along the lines of [C00]): Motivation for the Ideal-Model Paradigm. The Basic Definition, and Variants of the Basic Definition. Non-Concurrent Composition.
Resource Type:
Lecture Notes
pdf
175 kB
lecture1_2.pdf
Course Info
Instructor
Departments
As Taught In
Spring
2004
Level
Learning Resource Types
notes
Lecture Notes
