1
Published 2013
Springer Berlin Heidelberg
... Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together...

3
Published 2017
Springer International Publishing
... and Security of Internet and Systems, CRISIS 2016, held in Roscoff, France, in September 2016. The 17 full...

4
Published 2018
Springer International Publishing
... and Security of Internet and Systems, CRISIS 2017, held in Dinard, France, in September 2017. The 12 full...