3 papers
cs.CR2025
Finding SSH Strict Key Exchange Violations by State Learning
Fabian Bäumer, Marcel Maehren, Marcus Brinkmann +1
SSH is an important protocol for secure remote shell access to servers on the Internet. At USENIX 2024, Bäumer et al. presented the Terrapin attack on SSH, which relies on the att…
cs.CR2025
On the Security of SSH Client Signatures
Fabian Bäumer, Marcus Brinkmann, Maximilian Radoy +2
Administrators and developers use SSH client keys and signatures for authentication, for example, to access internet backbone servers or to commit new code on platforms like GitHub…
cs.LG2025
Verde: Verification via Refereed Delegation for Machine Learning Programs
Arasu Arun, Adam St. Arnaud, Alexey Titov +6
Machine learning programs, such as those performing inference, fine-tuning, and training of LLMs, are commonly delegated to untrusted compute providers. To provide correctness guar…