what about faulTPM? https://arxiv.org/abs/2304.14717