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.
IEEE Conference on Local Computer Networks (LCN) Transparent TSN for Agnostic End-hosts via P4-based Traffic Characterization at Switches
Proceedings of the ACM on Programming Languages Finding ∀∃ Hyperbugs using Symbolic Execution
Dagstuhl Reports Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171).
International Symposium on Automated Technology for Verification and Analysis (ATVA) Learning Broadcast Protocols with LeoParDS
Workshop on Privacy in the Electronic Society (WPES) Private and Collaborative Kaplan-Meier Estimators
ACM Conference on Computer and Communications Security (CCS) Using AI Assistants in Software Development: A Qualitative Study on Security Practices and Concerns
International Symposium on Research in Attacks Intrusions and Defenses (RAID) AI-Generated Faces in the Real World: A Large-Scale Case Study of Twitter Profile Images
ACM Transactions on Software Engineering and Methodology Demystifying React Native Android Apps for Static Analysis
ACM Workshop on Artificial Intelligence and Security (AISec) When Adversarial Perturbations meet Concept Drift: an Exploratory Analysis on ML-NIDS