Closed OrfeasLitos closed 5 years ago
https://eprint.iacr.org/2019/352.pdf
https://eprint.iacr.org/2019/360.pdf
https://eprint.iacr.org/2019/219.pdf https://fc19.ifca.ai/wtsc/StateAssertions.pdf (FC '19) https://eprint.iacr.org/2018/472.pdf (NDSS '19)
https://eprint.iacr.org/2019/352.pdf