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.
Theoretical Computer Science Parameterized complexity of multicut in weighted trees
Theoretical Computer Science On orientations maximizing total arc-connectivity
NeurIPS-Workshop (NeurIPS-W)
Conference on Neural Information Processing Systems (NeurIPS)
DISC International Symposium on Distributed Computing (DISC)
ACM Internet Measurement Conference (IMC)
Cloud Watching: Understanding Attacks Against Cloud-Hosted Services
IEEE Cybersecurity Development (SecDev)
Securing Your Crypto-API Usage Through Tool Support - A Usability Study
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Leveraging Static Analysis: An IDE for RTLola
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Checking and Sketching Causes on Temporal Sequences