OP, it's called Excoriation disorder. Here is info and how it is treated. Our DD has picked her lip for 25 years - it is very difficult to stop unless the patient wants to. Vaseline is a good idea. Any sort of barrier is a good idea.
https://en.wikipedia.org/wiki/Excoriation_disorder