Details for the publication CaiSC24.

Luwei Cai, Fu Song (), Taolue Chen (): Towards Efficient Verification of Constant-Time Cryptographic Implementations. In Proc. ACM Softw. Eng. 1(FSE):1019-1042, 2024. DOI BIB