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.
Conference on Learning Theory (COLT) On the Stability of Nonlinear Dynamics in GD and SGD: Beyond Quadratic Potentials
ACM International Symposium on Computer Architecture (ISCA) PuDGhost: Experimental Analysis of Computation Result Corruption in Processing-using-DRAM Operations on Real DRAM Chips and Implications for Future Systems
ACM International Symposium on Computer Architecture (ISCA) DeJaVu: Why You Should Write to Your DRAM Rows Twice, Carefully
The Web Conference (WWW)-companion PerQA: A Benchmark for Temporally Sensitive Questions on Heterogeneous Personal Data
OVERLAY'26: 8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis. Learning Formal Models of Parametrized Systems
ITP Completing Almost Fair Simulations
USENIX Symposium on Operating Systems Design and Implementation μUSB: Practical and Safe USB Driver Reuse for Arm TrustZone
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) ScaleDisturb: Exploiting Temporal Asymmetry to Amplify Read Disturbance in Modern DRAM Chips
Annual International Conference on Mobile Systems, Applications and Services(MobiSys) Fragile Deliveries: Inconsistencies in Android Parcel and Their Security Consequences