Verifying voting schemes
Beckert, B.
1; Gore, R.; Schürmann, C.; Bormer, T. 1; Wang, J.
1 Karlsruher Institut für Technologie (KIT)
1; Gore, R.; Schürmann, C.; Bormer, T. 1; Wang, J.1 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2014 |
| Sprache | Englisch |
| Identifikator | ISSN: 2214-2126 KITopen-ID: 1000045618 |
| HGF-Programm | 46.12.03 (POF II, LK 01) |
| Erschienen in | Journal of information security and applications |
| Verlag | Elsevier |
| Band | 19 |
| Heft | 2 |
| Seiten | 115-129 |
| Projektinformation | KASTEL I (BMFTR, 01BY1172 / 16BY1172) |
| Nachgewiesen in | Dimensions Scopus OpenAlex |
| Globale Ziele für nachhaltige Entwicklung |