3,851 followers
Combining classical and probabilistic independence reasoning to verify the security of oblivious algorithms. https://t.co/7SHIoe3jbo #ITP #IsabelleHOL
Combining classical and probabilistic independence reasoning to verify the security of oblivious algorithms. https://t.co/7SHIoe3jbo #ITP #IsabelleHOL
Presenting our work “Automated Repair of Information Flow Security in Android Implicit Inter-App Communication” at FM 2024 @FMsymp #FM2024 Details of the Paper: DOI: https://t.co/r875C23FbN Artifacts: https://t.co/4TT83h7H1B https://t.co/L3HV4FDCtA