RS³ at the Royal Society

The DFG priority program Reliable Security Software Systems (RS³) was presented by its coordinator Prof. Heiko Mantel in two talks on April 4 and 7 at the Royal Society Scientific Meeting on "Verified Trustworthy Software Systems" in London.