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.
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)
CSF How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS#11