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.
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.
Information Theoretic Security (ICITIS) Statistically Secure Linear-Rate Dimension Extension for Oblivious Affine Function Evaluation
Compiler Construction (CC) Sambamba: A Runtime System for Online Adaptive Parallelization
ACM International Conference on Knowledge Discovery and Data Mining (KDD) The long and the short of it: summarising event sequences with serial episodes.
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Database (ECML PKDD) Discovering Descriptive Tile Trees - By Mining Optimal Geometric Subtiles.
ICCSNT Efficient Prime-Field Arithmetic for Elliptic Curve Cryptography on Wireless Sensor Nodes