Publication

[GaoZSCS23] Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks Gao, P.; Zhang, Y.; Song, F.; Chen, T. and Standaert, F.-X. In Proc. ACM Program. Lang., 7, 2023. doi.. 
Downloads: bib