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)
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
IEEE Symposium on Logic in Computer Science (LICS)