Giora Slutzki Delivers Invited Talk at Amir Pnueli Memorial Symposium
News
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."