Hossam ElAtali, Xiaohe Duan, Hans Liljestrand, Meng Xu, N. Asokan: BliMe Linter. SecDev 2024: 46-53