September 5, 2017

Boris Koepf panelist at the final event of the DFG priority program “Reliably Security Software Systems”

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.