Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) Tightly-Secure Signatures from Five-Move Identification Protocols
ACM Conference on Computer and Communications Security (CCS) TinyOLE: Efficient Actively Secure Two-Party Computation from Oblivious Linear Function Evaluation.
ICALP Cryptanalysis of Indistinguishability Obfuscations of Circuits over GGH13.
Theory of Cryptography Conference (TCC) From Selective IBE to Full IBE and Selective HIBE
Symposium on Theoretical Aspects of Computer Science (STACS) The First-Order Logic of Hyperproperties.
International Conference on Runtime Verification (RV) Stream Runtime Monitoring on UAS.
European Symposium on Programming (ESOP) Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
DISC International Symposium on Distributed Computing (DISC) Brief Announcement: A Centralized Local Algorithm for the Sparse Spanning Graph Problem.
DISC International Symposium on Distributed Computing (DISC) Self-Stabilising Byzantine Clock Synchronisation is Almost as Easy as Consensus.