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.
DIMVA Morellian analysis for browsers: Making web authentication stronger with canvas fingerprinting
International Conference on Software Engineering - Companion (ICSE-Companion) Carving Parameterized Unit Tests
NASA Formal Methods Symposium (NFM) Clausal Proofs of Mutilated Chessboards
IEEE Symposium on Security and Privacy (S&P)
IEEE Symposium on Security and Privacy (S&P)
IEEE Symposium on Security and Privacy (S&P) Breaking LTE on Layer Two
IEEE Symposium on Security and Privacy (S&P) Spectre Attacks: Exploiting Speculative Execution
IEEE Symposium on Security and Privacy (S&P) On the Security of Two-Round Multi-Signatures
IEEE Symposium on Security and Privacy (S&P) Reasoning Analytically About Password-Cracking Software