Hallo zusammen, sofern nicht selber schon gesehen/-lesen hier [0] FYI "Principled Unearthing of TCP Side Channel Vulnerabilities" VG Bernd [0] http://www.cs.ucr.edu/~zhiyunq/pub/ccs19_tcp_model_checking.pdf -- Bernd Kohler IT Center Abteilung: Netze RWTH Aachen University Wendlingweg 10 52074 Aachen Tel: +49 241 80-29793 Fax: +49 241 80-22666 kohler@itc.rwth-aachen.de https://www.itc.rwth-aachen.de