A tool for automating the computationally complete symbolic attacker
Authors: Hubert Comon-Lundh, Veronique Cortier and Guillaume Scerri
Paper Information
| Title: | A tool for automating the computationally complete symbolic attacker |
| Authors: | Hubert Comon-Lundh, Veronique Cortier and Guillaume Scerri |
| Proceedings: | FCS-FCC 2014 Informal Proceedings |
| Editors: | Matteo Maffei, Michael Clarkson and Boris Köpf |
| Keywords: | Security, Computational Soundness, Tool, Automation |
| Abstract: | ABSTRACT. In this paper we describe a tool automating the computationally complete symbolic attacker model provided by Bana and Comon at POST'12. This model offers soundness guarantees without the usual computational soundness restrictions such as tagging, key cycles... This models allows to find attacks relying on implementation mistakes. Using our tool, we discovered a such new attack on Andrew's secure RPC, we hope to find more attacks in the next few months. |
| Pages: | 1 |
| Talk: | Jul 18 12:00 |
| Paper: |  |