This repository contains material for paper about TDX lock