SHILL: A Secure Shell Scripting Language.

Scott Moore, Christos Dimoulas, Dan King, Stephen Chong

Browse the full OSDI paper archive.