The Fourth call for proposals in October 2019, ‘Digital Security through Verification’ focussed on how to embed verification into the heart of our modern software systems. The call complemented the ISCF ‘Digital Security by Design’ programme, which had the specific focus on capability hardware, building on a proposed Arm processor and the work of the CHERI project at the University of Cambridge.