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 On orientations maximizing total arc-connectivity
NeurIPS-Workshop (NeurIPS-W)
Conference on Neural Information Processing Systems (NeurIPS)
ACM Internet Measurement Conference (IMC)
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