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.
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
ISDA ODMA: A new metahueristic optimization algorithm based on Open Source Development Model.