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.
Medical Image Computing and Computer Assisted Intervention (MICCAI) Automated Detection of Abnormalities in Zebrafish Development
Tools and Algorithms for Construction and Analysis of Systems (TACAS) Synthesis of Universal Safety Controllers
Formal Methods (FM) A Tutorial on Stream-Based Monitoring
Formal Methods (FM) Visualizing Game-Based Certificates for Hyperproperty Verification
Privacy Enhancing Technologies Symposium (PETS) A Comprehensive Study of Privacy Risks in Curriculum Learning
ACM Conference on Computer and Communications Security (CCS)
Advances in Cryptology (CRYPTO) Simple and General Counterexamples for Private-Coin Evasive LWE.
Fuzzing with Fandango - Tutorial and Reference
Theory of Cryptography Conference (TCC) Consensus in the Presence of Overlapping Faults and Total Omission