André Seffrin, Sorin A. Huss. Ensuring Secure Information Flow in Partially Reconfigurable Architectures by Means of Process Algebra Analysis. In IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011. pages 443-450, IEEE, 2011. [doi]
Abstract is missing.