31/03/2023 – Talk: “Formal Verification of Privacy Policies for Social Networks” by Raúl Pardo
Raúl Pardo will give a talk about his work on Formal Verification of Privacy Policies for Social Networks. Details below. SPEAKER Raúl Pardo, Prof., ITU. TITLE Formal Verification of Privacy Policies[…]