TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Ambrona, Miguel ; Farshim, Pooya ; Harasser, Patrick (2024)
Block Ciphers in Idealized Models: Automated Proofs and New Security Results.
31st ACM Conference on Computer and Communications Security (CCS 2024). Salt Lake City, USA (14.10.2024 - 18.10.2024)
Konferenzveröffentlichung, Bibliographie