LMS Security Proof Paper Is there any LMS security proof besides the one mentioned in RFC 8554? Does LMS actually have a paper which describes a proof?
In addition to the works that fgrieu cited, there is also Edward Eaton's paper analyzing LMS in the Quantum Oracle model.