Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2023 |
Sprache | Englisch |
Identifikator | ISBN: 978-3-031-32415-4 ISSN: 0302-9743, 1611-3349 KITopen-ID: 1000163070 |
HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
Erschienen in | Financial Cryptography and Data Security. FC 2022 International Workshops – CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers, Ed.: S.'i. Matsuo |
Veranstaltung | 26. International Conference "Financial Cryptography and Data Security" (2022), St. George's, Grenada, 02.05.2022 – 06.05.2022 |
Verlag | Springer International Publishing |
Seiten | 335 – 350 |
Serie | Lecture Notes in Computer Science ; 13412 |
Vorab online veröffentlicht am | 22.07.2023 |
Nachgewiesen in | Dimensions Scopus |