论文与出版物
Privacy Integrated Queries
视频
A Framework for the Sound Specification of Cryptographic Tasks
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the “trusted-party paradigm,” where the protocol execution is compared with an ideal process where the outputs are…
视频
Diverse Expertise at Faculty Summit 2010
Microsoft Research’s Faculty Summit 2010 brought together a unique set of computer scientists and researchers with diverse interests—from cryptography and machine learning to embedded-system design and user-interface design. Learn more about these experts and hear…