4th Cispa-Loria workshop – Formal Methods
LoriaIn 2019, a cooperation between CISPA and LORIA (French Research Center for Cyber Security) started to improve the French-German collaboration in the field of cybersecurity. To strengthen the cross-border exchange, several interesting […]


