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.
IEEE Transactions on Dependable and Secure Computing RemovalNet: DNN Fingerprint Removal Attacks
Formal Methods (FM)
Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata
International Symposium on Software Testing and Analysis (ISSTA)
Learning the Effects of Software Changes
International Symposium on Software Testing and Analysis (ISSTA)
Shaping Test Inputs in Grammar-Based Fuzzing
International Conference on Document Analysis and Recognition (ICDAR)
Privacy-Aware Document Visual Question Answering
German Conference on Pattern Recognition (GCPR)
FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks
Requirements Engineering Recommending and release planning of user-driven functionality deletion for mobile apps
Conference on Security and Cryptography for Networks (SCN)
Round Efficient Byzantine Agreement from VDFs
INTERSPEECH (ISCA)
Performant ASR Models for Medical Entities in Accented Speech