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.
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
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