We have never had a pumpkin stolen by a human. We have had them eaten by squirrels. I am pretty sure that human thieves would leave less of a mess.
I think that if I lived near a school with a tradition of stealing pumpkins, I wouldn’t mind the tradition. However, I would tie one down with a ground anchor just to have a little fun with the local students. I might try the vaseline idea also.