Design and verification of the TLS 1.3 handshake state machine in LibreSSL by Theo Buehler (video)
LibreSSL and the new libtls API by Bob Beck
LibreSSL: More Than 30 Days Later by Ted Unangst
LibreSSL - The first 30 days and the Future by Bob Beck