Tobias Wiersema, Stephanie Drzevitzky, Marco Platzner. Memory security in reconfigurable computers: Combining formal verification with monitoring. In Jialin Chen, Wenbo Yin, Yuichiro Shibata, Lingli Wang, Hayden Kwok-Hay So, Yuchun Ma, editors, 2014 International Conference on Field-Programmable Technology, FPT 2014, Shanghai, China, December 10-12, 2014. pages 167-174, IEEE, 2014. [doi]
Abstract is missing.