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.
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
IEEE Symposium on Security and Privacy (S&P)
ACM Conference on Security and Privacy in Wireless and Mobile Networks (ACM WiSec) Lost traffic encryption