[LiuSC23] Automated Verification of Correctness for Masked Arithmetic Programs Liu, M.; Song, F. and Chen, T. In Proceedings of the 35th International Conference on Computer Aided Verification (CAV), pages 255-280, 2023.
Downloads: bib