2 papers
cs.CR2024
Towards Efficient Verification of Constant-Time Cryptographic Implementations
Luwei Cai, Fu Song, Taolue Chen
Timing side-channel attacks exploit secret-dependent execution time to fully or partially recover secrets of cryptographic implementations, posing a severe threat to software secur…
cs.SE2024
When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference
Zhensu Sun, Xiaoning Du, Fu Song +2
Leveraging recent advancements in large language models, modern neural code completion models have demonstrated the capability to generate highly accurate code suggestions. However…