This year, we published a #formalmethods paper "Engineering with Logic: Rigorous Test-Oracle Specification
and Validation for TCP/IP and the Sockets API" https://www.cl.cam.ac.uk/~pes20/Netsem/paper3.pdf in the Journal of the ACM! :) https://www.cl.cam.ac.uk/~pes20/rems/ #hol4 #tcpip #network so glad that this is finally out :D (happy to hear your thoughts on that, still working on a TCP/IP stack based on that work)
@epicmorphism there is http://anil.recoil.org/papers/2013-asplos-mirage.pdf and also https://usenix15.nqsb.io on the TLS stack, and some more on jitsu, irmin, etc -- http://anil.recoil.org/papers/ lists them (http://unikernel.org/resources/ as well), but yep, nothing recent major...
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!