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.
Information and Computation An improved FPT algorithm for the flip distance problem
IEEE Symposium on Logic in Computer Science (LICS) From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata.
DeFI Better Keep Cash in Your Boots - Hardware Wallets are the New Single Point of Failure
IEEE/ACM International Conference on Automated Software Engineering (ASE) Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code
Correctness OpenRace: An Open Source Framework for Statically Detecting Data Races
Joint Workshop on CPS & IoT Security and Privacy (CPSIoTSec)
ACM Conference on Computer and Communications Security (CCS)
ACM Conference on Computer and Communications Security (CCS)
ACM Cloud Computing Security Workshop (CCSW)