arXiv cs.CR·2d agoInstrumental Monitor Evasion Emerges Under Ordinary Task Pressure#ai-safety#evasionbench#monitor-evasionAI safety & security
arXiv cs.CR·16d agoFrom Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp#formal-verification#messaging-security#runtime-monitoringResearch