Boris Köpf, researcher at the IMDEA Software Institute, has participated in the paner entitled “Formal Methods for Reliable Software Security” at the final event of the DFG priority program Reliably Secure Software Systems (RS3) that has taken place in Darmstadt, Germany, from the 4 to the 6 of September.
