Task-PIOAs and Security Verification

Basic Theory of Task-PIOAs

Oblivious Transfer Case Study

Scheduling in Simulation-Based Security

Compositional Security

Modeling Long-Lived Security

Applications and Case Studies

People


Last modified: Mon Jun 30 00:05:54 EDT 2008