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 Conference on Computer and Communications Security (CCS)
ACM International Workshop on Re-design Industrial Control Systems with Security (RICSS)
International Conference on Runtime Verification (RV)
Runtime Verification
NeurIPS-Workshop (NeurIPS-W)
International Conference on Runtime Verification (RV)
Runtime Verification
NeurIPS-Workshop (NeurIPS-W)
IEEE Symposium on Security and Privacy (S&P)
Workshop on Approximation and Online Algorithms (WAOA)