2 papers
cs.CE2026
A full software stack for epidemic disease management: Unlocking the joint potential of software technology and supercomputing
Jonas Gilg, Johann Fredrik Jadebeck, Mariama Jaiteh +22
Infectious diseases remain a major threat to human societies. During the recent COVID-19 pandemic, mathematical modeling and extensive computer simulations proved highly effective…
cs.CR2026
Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
Matthias Cosler, Cas Cremers, Bernd Finkbeiner +2
Tools like Tamarin and ProVerif have achieved notable success in analyzing and verifying complex real-world protocols such as EMV, 5G, and WPA2, even detecting zero-day exploits. D…