I continue to work on technologies for protecting information from illegal copying. I have been active in developing protection techniques as well as demonstrating impossibility results. I am particularly interested in developing model-checking based automated tools for examining protocols. Finally, I want to extend my NetBill work to investigating techniques for supporting automated bargaining and pricing, so users can get individualized quotes for information that they wish to purchase. 2.1 Future research in privacy I will build systems automatically alert users to information leakage.
Traditional systems attempt to limit information leakage to a certain threshold of bits per second.
My work will allow users to understand where leakages are actually occurring so they can control the degree and amount of information disclosed. I plan to build automated tools that can examine information leakage in protocols. Zero-knowledge authentication protocols have been developed, but has not extended to broader classes of security protocols. My work will show the strengths and limitations of using stored-value smart cards to protect privacy and allow anonymous purchases. These obstacles have technical solutions.