Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
Transactions on Machine Learning Research Locally Adaptive Federated Learning
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).