Verified iptables Firewall Analysis and Verification

por Diekmann, Cornelius, Hupel, Lars, Michaelis, Julius, Haslbeck, Maximilian, Carle, Georg
Publicado 2018

A Privacy-Preserving Log-Rank Test for the Kaplan-Meier Estimator With Secure Multiparty Computation: Algorithm Development and Validation

por von Maltitz, Marcel, Ballhausen, Hendrik, Kaul, David, Fleischmann, Daniel F, Niyazi, Maximilian, Belka, Claus, Carle, Georg
Publicado 2021