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 Symposium on Security and Privacy (S&P) TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation
International Symposium on Algorithms and Computation (ISAAC) From Chinese Postman to Salesman and Beyond: Shortest Tour δ-Covering All Points on All Edges
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