Tobias Wiersema, Stephanie Drzevitzky, and Marco Platzner got their conference paper "Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring" accepted at FPT 2014. Tobias Wiersema will present the results in December in Shanghai, China.
