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.
ASONAM Interactively and Visually Exploring Tours of Marked Nodes in Large Graphs
Computer Aided Verification (CAV) Bounded Synthesis for Real-Time Systems
ACM-SIAM Symposium on Discrete Algorithms (SODA) Kernelization of Packing Problems
Consumer Communications and Networking Conference (CCNC IEEE) Toys communicating with LEDs: Enabling Toy Cars Interaction
European Symposium on Research in Computer Security (ESORICS) Design and Implementation of a Terrorist Fraud Resilient Distance Bounding System
DISC International Symposium on Distributed Computing (DISC) “Tri, Tri Again”: Finding Triangles and Small Subgraphs in a Distributed Setting
Tools and Algorithms for Construction and Analysis of Systems (TACAS) Parameterized Synthesis
International Colloquium on Automata Languages and Programming (ICALP) Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable.
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) IND-CCA Secure Cryptography Based on a Variant of the LPN Problem