2 papers
hep-th2026
Dynamical Tidal Response and Love Numbers of Massless Bosonic and Fermionic Perturbations of Kerr--Anti-de Sitter Black Holes
Himanshu Buragohain, Prabwal Phukon
We examine the tidal response of Kerr--Anti-de Sitter black holes using the Teukolsky formalism in a vacuum background. We consider massless perturbations with spin weights $s = 0,…
cs.CR2026
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
Zhaoxuan Li, Qionglu Zhang, Hengyuan Liu +8
Manual formal analysis of cryptographic schemes is labor-intensive and requires substantial expertise. While model-checking tools (e.g., Scyther and Tamarin) and computational-secu…