Chris Mills, Colin J. Fidge, Diane Corney. Tool-Supported Dataflow Analysis of a Security-Critical Embedded Device. In Josef Pieprzyk, Clark D. Thomborson, editors, Tenth Australasian Information Security Conference, AISC 2012, Melbourne, Australia, January 2012. Volume 125 of CRPIT, pages 59-70, Australian Computer Society, 2012. [doi]
Abstract is missing.