CoSP : A general framework for computational soundness proofs
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Kryptographie und Sicherheit (IKS) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-60558-894-0 KITopen-ID: 1000033164 |
| Erschienen in | Proceeding CCS '09 Proceedings of the 16th ACM conference on Computer and communications security |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | 66-78 |