Scott Moore, Christos Dimoulas, Dan King, Stephen Chong. SHILL: A Secure Shell Scripting Language. In Jason Flinn, Hank Levy, editors, 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014. pages 183-199, USENIX Association, 2014. [doi]
Abstract is missing.