Richard Marshall, CEO of Xitex, presented on some of the architectural security verification challenges at the Verification Futures Europe Conference which took place on 4 February 2016 organized by T&VS.

Find out the slides and recordings here