Runtime verification for trustworthy secure shell deployment.

Axel Curmi, Christian Colombo, Mark Vella

Browse the full ISSTA paper archive.