EDBT 2026 Demo / reviewers in the wild / expert
Martin Derka
dblp:59/9889
· DBLP profile ↗
17ranked-venue papers
2as first author
6since 2021 · last 2026
0000-0001-7514-3004ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 10 · 1 first-authorSecurity and privacy · 6 · 1 first-author · 6 since 2021Software engineering, systems software and programming languages · 6 · 1 first-author · 6 since 2021Applied, interdisciplinary, general and emerging computing · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | On-chain Smart Contract Product Lines via the Diamond Pattern
Jan Gorzny, Martin Derka |
ICBC | 2 |
| 2026 | Enhanced EIP-7503 Zero-Knowledge Wormholes
Donato Pellegrino, Jan Lauinger, Phillip Kemper, Jan Gorzny, Martin Derka |
ICBC | 5 |
| 2025 | Sequencer Level Security
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen 0004 |
ICBC | 1 |
| 2025 | A Practical Rollup Escape Hatch Design
Francisco Gomes Figueira, Martin Derka, Ching Lun Chiu, Jan Gorzny |
ICBC | 2 |
| 2024 | SoK: Compression in RollupsabstractA rollup is a scaling solution built on top of an existing blockchain. Rollups separate execution from consensus, but are required to post the data used for state updates to the underlying blockchain. This data is required to ensure that execution of state updates are performed correctly. As writing data to a public blockchain is not free, rollups are incentivized to minimize the amount of data they post on-chain. Rollups therefore aggregate and compress the data used for executions in order to save on fees associated with writing data to the blockchain. In this work, we explore the methods for posting data on-chain and the compression techniques used by real-world rollups. We explore differences in implementations and contrast the approaches used by both optimistic and zero-knowledge rollups. We also explore approaches which enable domain-specific compression, consider upcoming changes to data storage on Ethereum, and suggest improvements for rollup compression. Roshan Palakkal, Jan Gorzny, Martin Derka |
ICBC | 3 |
| 2023 | SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge HacksabstractThe blockchain ecosystem has evolved into a multi-chain world with various blockchains vying for use. Although each blockchain may have its own native cryptocurrency or digital assets, there are use cases to transfer these assets between blockchains. Systems that bring these digital assets across blockchains are called bridges, and have become important parts of the ecosystem. The designs of bridges vary and range from quite primitive to extremely complex. However, they typically consist of smart contracts holding and releasing digital assets, as well as nodes that help facilitate user interactions between chains. In this paper we first provide a high level break-down of components in a bridge and the different processes for some bridge designs. Then, we analyse past exploits in the blockchain ecosystem that specifically targeted bridges. In doing this, we identify risks associated with bridge components. Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny |
ICBC | 3 |
| 2020 | Crossing Number for Graphs with Bounded PathwidthabstractThe crossing number is the smallest number of pairwise edge crossings when drawing a graph into the plane. There are only very few graph classes for which the exact crossing number is known or for which there at least exist constant approximation ratios. Furthermore, up to now, general crossing number computations have never been successfully tackled using bounded width of graph decompositions, like treewidth or pathwidth. In this paper, we show that the crossing number is tractable (even in linear time) for maximal graphs of bounded pathwidth 3. The technique also shows that the crossing number and the rectilinear (a.k.a. straight-line) crossing number are identical for this graph class, and that we require only an $$O(n)\times O(n)$$ O(n)×O(n)-grid to achieve such a drawing. Our techniques can further be extended to devise a 2-approximation for general graphs with pathwidth 3. One crucial ingredient here is that the crossing number of a graph with a separation pair can be lower-bounded using the crossing numbers of its cut-components, a result that may be interesting in its own right. Finally, we give a $$4{\mathbf{w}}^3$$ 4w3-approximation of the crossing number for maximal graphs of pathwidth $${\mathbf{w}}$$ w. This is a constant approximation for bounded pathwidth. We complement this with an NP-hardness proof of the weighted crossing number already for pathwidth 3 graphs and bicliques $$K_{3,n}$$ K3,n. Therese Biedl, Markus Chimani, Martin Derka, Petra Mutzel |
Algorithmica | 3 |
| 2019 | Extending Simple Drawings
Alan Arroyo, Martin Derka, Irene Parada |
GD | 2 |
| 2018 | Partitioning Orthogonal Histograms into Rectangular Boxes
Therese Biedl, Martin Derka, Veronika Irvine, Anna Lubiw, Debajyoti Mondal, Alexi Turcotte |
LATIN | 2 |
| 2017 | Improved Bounds for Drawing Trees on Fixed Points with L-Shaped Edges
Therese Biedl, Timothy M. Chan, Martin Derka, Kshitij Jain 0001, Anna Lubiw |
GD | 3 |
| 2017 | EPG-representations with Small Grid-Size
Therese Biedl, Martin Derka, Vida Dujmovic, Pat Morin |
GD | 2 |
| 2017 | Crossing Number for Graphs with Bounded~Pathwidth
Therese Biedl, Markus Chimani, Martin Derka, Petra Mutzel |
ISAAC | 3 |
| 2017 | Order-Preserving 1-String Representations of Planar Graphs
Therese Biedl, Martin Derka |
SOFSEM | 2 |
| 2017 | Splitting B_2 -VPG Graphs into Outer-String and Co-Comparability Graphs
Therese Biedl, Martin Derka |
WADS | 2 |
| 2015 | 1-String B_2-VPG Representation of Planar GraphsabstractIn this paper, we prove that every planar graph has a 1-string B_2-VPG representation - a string representation using paths in a rectangular grid that contain at most two bends. Furthermore, two paths representing vertices u, v intersect precisely once whenever there is an edge between u and v. Therese Biedl, Martin Derka |
SoCG | 2 |
| 2015 | List Colouring and Partial List Colouring of Graphs On-line
Martin Derka, Alejandro López-Ortiz, Daniela Maftuleac |
IWOCA | 1 |
| 2011 | How Not to Characterize Planar-Emulable Graphs
Markus Chimani, Martin Derka, Petr Hlinený, Matej Klusácek |
IWOCA | 2 |