table 3 says freebsd 4.9.3, the text says 4.9.0. are you referring to https://www.freebsd.org/releases/4.9R/announce.html … or something else?
Glad to share the finale of our TCP side channel work (accepted in CCS 19) --- using model checking to systematically discover side channels in the Linux and FreeBSD/MacOS's implementations (a number of new ones are found). See http://www.cs.ucr.edu/~zhiyunq/pub/ccs19_tcp_model_checking.pdf …
-
-
-
Oops. It should've been the latest version 13.0 (paper updated). Not sure how the wrong number got in there. Thanks for catching the error.
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.