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.
ACM Transactions on Algorithms (TALG)
International Conference on Software Engineering (ICSE) Resource Usage and Optimization Opportunities in Workflows of GitHub Actions
IEEE Transactions on Dependable and Secure Computing Improving Logic Bomb Identification in Android Apps via Context-Aware Anomaly Detection
Innovations in Theoretical Computer Science (ITCS) On the Black-Box Complexity of Correlation Intractability.
Symposium on Principles of Programming Languages (POPL) Secure Composition of SPECTRE Mitigations
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI) Parameterized Verification of Disjunctive Timed Networks.
Symposium on Principles of Programming Languages (POPL) Computational-Bounded Robust Compilation and Universally Composable Security
IEEE Symposium on Security and Privacy (S&P) Conning the Crypto Conman: End-to-End Analysis of Cryptocurrency-based Technical Support Scams