Send email Copy Email Address

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.

Filter

Year 2021

2021-01-01

Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment

Article

Procedia Computer Science

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2021

The Debugging Book

Book

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2021

Counterfactual Mean Embeddings.

Article

Journal of Machine Learning Research

Tags
Trustworthy Information Processing
Authors
Full Paper Visit Detail Page
2021

Attack Detection for CPS

chapter

Encyclopedia of Cryptography, Security and Privacy

Tags
Secure Connected and Mobile Systems
Authors
Full Paper Visit Detail Page
2021

Mining Input Grammars.

Conference / Medium

Software Engineering (SE)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2021

Generating Tests that Cover Input Structure.

Article

Software Engineering

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page

Year 2020

2020-12-31

Universal Composability is Secure Compilation

Article

ACM Transactions on Programming Languages and Systems

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2020-12-15

Constant Ciphertext-Rate Non-committing Encryption from Standard Assumptions

Conference / Medium

Theory of Cryptography Conference (TCC)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page
2020-12-15

Lossiness and Entropic Hardness for Ring-LWE

Conference / Medium

Theory of Cryptography Conference (TCC)

Tags
Algorithmic Foundations and Cryptography
Authors
Full Paper Visit Detail Page