Andre Renaud

Automatic Verification of Agreement and Secrecy

Andre Renaud, 2001 .

Automating and Simplifying Agreement and Secrecy Verification using PVS

André Renaud, Andre Renaud, 2001 .

Protocol Specification and Verification of Security Properties : A General Approach

Padmanabhan Krishnan, Andre Renaud, P. Krishnan, 2022 .

An environment for specifying and verifying security properties

Padmanabhan Krishnan, Andre Renaud, Andre Renaud, 2001, Proceedings 2001 Australian Software Engineering Conference.