Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
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