bounded replication operator / concurrent systems / transformations to systems / multiparty protocols / real and ideal protocol / security protocols / functionality/protocol / /
Organization
office of Naval Research / Department of Defense / National Science Foundation / Institut f¨ / Stanford University / /
Position
second author was / guard / Guard PPT Guard computation Guard Guard / /
ProgrammingLanguage
K / /
SportsLeague
Stanford University / /
TVStation
WBB / /
Technology
cryptography / security protocols / Simulation / same protocol / real protocol / /