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.
NeurIPS-Workshop (NeurIPS-W) Efficient Greedy Equivalence Search for Non-Score-Equivalent Criteria using Sampling
The 25th International Conference on Runtime Verification (RV) Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
Conference on Neural Information Processing Systems (NeurIPS) Neural Rule Lists: Learning Discretizations, Rules, and Order in One Go
Conference on Neural Information Processing Systems (NeurIPS) Causal Mixture Models: Characterization and Discovery
IEEE Transactions on Pattern Analysis and Machine Intelligence Revisiting Transferable Adversarial Images: Systemization, Evaluation, and New Insights
European Symposium on Algorithms (ESA)
International Conference on Runtime Verification (RV) A ROS Adapter for RTLola
ACM Conference on Computer and Communications Security (CCS) Empirical Security Analysis of Software-based Fault Isolation through Controlled Fault Injection
IACR Transactions on Cryptographic Hardware and Embedded Systems ABE Cubed: Advanced Benchmarking Extensions for ABE Squared