Deduction soundness: prove one, get five for free
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2013 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4503-2477-9 KITopen-ID: 1000069619 |
| HGF-Programm | 46.12.03 (POF II, LK 01) |
| Erschienen in | CCS '13 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, Berlin, Germany — November 04 - 08, 2013. Ed.: A.-R. Sadeghi |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | 1261-1272 |
| Projektinformation | KASTEL I (BMBF, 01BY1172 / 16BY1172) |
| Nachgewiesen in | Dimensions Scopus |