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.
Conference on Neural Information Processing Systems (NeurIPS) Dataset and Lessons Learned from the 2024 SaTML LLM Capture-the-Flag Competition
Conference on Neural Information Processing Systems (NeurIPS) Cooperation, Competition, and Maliciousness: LLM-Stakeholders Interactive Negotiation
Workshop on Approximation and Online Algorithms (WAOA) Approximating δ-Covering
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