Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner. Towards formal system-level verification of security requirements during hardware/software codesign. In Thomas Büchner, Ramalingam Sridhar, Andrew Marshall, Norbert Schuhmann, editors, Annual IEEE International SoC Conference, SoCC 2010, September 27-29, 2010, Las Vegas, NV, USA, Proceedings. pages 388-391, IEEE, 2010. [doi]
Abstract is missing.