STORK: a real, heterogeneous, large-scale eID management system. - Carlos Ribeiro; Herbert Leitold; Simon Esposito; David Mitzam (Int. J. Inf. Sec., 2018)