Correcting flaws in Mitchell's analysis of EPBC

Binbin Di, Leonie Simpson, Harry Bartlett, Ed Dawson, Kenneth Koon-Ho Wong. Correcting flaws in Mitchell's analysis of EPBC. In Ian Welch, Xun Yi, editors, 13th Australasian Information Security Conference, AISC 2015, Sydney, Australia, January 2015. Volume 161 of CRPIT, pages 57-60, Australian Computer Society, 2015. [doi]

Abstract

Abstract is missing.