Search

Giora Slutzki Delivers Invited Talk at Amir Pnueli Memorial Symposium

May 10, 2010

Dr. Giora Slutzki delivered an invited talk at the Amir Pnueli Memorial Symposium, hosted by the Courant Institute of Mathematical Sciences at New York University, May 7-9. He presented his forthcoming work (with Jia Tao and Vasant Honavar) on Inverting Proof Systems for Secrecy under OWA, which describes a theoretic model for "inverting" proof systems in order to protect private/secret information. This work expands on his previous work on reasoning about secrecy preservation using "secrecy envelopes."