Verifiable Distributed Oblivous Transfer and Mobile Agent Security

Sheng Zhong
Stevens Institute of Technology

Tuesday, September 21, 12:45PM
Lieb 3rd floor conference room
Computer Science Department
Stevens Institute of Technology
 

Abstract


In mobile agent computation, we consider how to protect the privacy of the agent originator against the hosts, and the privacy of each host against the originator and all other hosts. We also want to ensure that the computation task is completed correctly. Based on a previously proposed solution framework in [ACCK01], we can achieve the above goals under a threshold trust assumption. The key component of our solution is a new cryptographic primitive called Verifiable Distributed Oblivious Transfer (VDOT), which may also be of independent interest. In the design of VDOT, we use novel techniques such as consistency verification on encrypted shares and cheater identification through rerandomization. Our preliminary implementation shows that our solution can implemented efficiently.

This seminar is being held jointly with the informal Lab for Secure Systems lunches. You are invited to bring your own lunch.