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.
International Conference on Automated Planning and Scheduling (ICAPS) Bridging the Gap Between Abstractions and Critical-Path Heuristics via Hypergraphs
ISAAC Efficient Circuit Simulation in MapReduce.
International Symposium on Software Testing and Analysis (ISSTA)
ACM ASIA Conference on Computer and Communications Security (AsiaCCS)
ACM ASIA Conference on Computer and Communications Security (AsiaCCS)
IEEE Computer Security Foundations Symposium (CSF)
IEEE Computer Security Foundations Symposium (CSF) Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
ACM Symposium on Eye Tracking Research & Applications (ETRA) Privacy-aware eye tracking using differential privacy
IEEE Computer Security Foundations Symposium (CSF)