My research project
Verifying hyperproperties for security
Hyperproperties allow us to capture security policies such as non interference and non determinism across multiple execution traces. Formal modelling and automatic verification of select hyperproperties can be achieved by using the Isabelle proof assistant.
Lab Assistant for COM3026 Distributed Systems.