By Dr Rob Sison

Book Chapters

Tran K; Pohjola JÅ; Sison R; Klein G, 2026, 'A Rely-Guarantee-Based Simulation for Cooperative Semantics', in , pp. 87 - 105, http://dx.doi.org/10.1007/978-3-032-11176-0_7

Yan P; Murray T; Ohrimenko O; Pham VT; Sison R, 2025, 'Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms', in , pp. 188 - 205, http://dx.doi.org/10.1007/978-3-031-71162-6_10

Back to profile page