Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Reasoning about Strategic Abilities in Stochastic Multi-agent Systems
Yedi Zhang, Fu Song, Taolue Chen +1
Reasoning about strategic abilities is key to AI systems comprising multiple agents, which provide a unified framework for formalizing various problems in game theory, social choic…
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…