Martin Derka

52 papers A* 1A 3B 4C 6Journal 26Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains.
WETSEB
Zhiyang Chen, Phillip Kemper, Yi Liu, Jan Gorzny, Diego Siqueira, Yuekang Li, Donato Pellegrino, Martin Derka
2025 C conf
A Practical Rollup Escape Hatch Design.
ICBC
Francisco Gomes Figueira, Martin Derka, Ching Lun Chiu, Jan Gorzny
2025 J jnl
A Practical Rollup Escape Hatch Design.
CoRR
Francisco Gomes Figueira, Martin Derka, Ching Lun Chiu, Jan Gorzny
2025 — conf
Account Abstraction for Enforcing Blockchain-Based AI Agent Non-Functional Requirements.
REW
Jan Gorzny, Fatemeh Heidari Soureshjani, Martin Derka
2025 — conf
Early Observations of Based Rollups: A Case Study of Taiko.
FC (Workshops 1)
Jan Gorzny, Phillip Kemper, Martin Derka
2025 — conf
Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security.
SANER-C
Zhiyang Chen, Jan Gorzny, Martin Derka
2025 C conf
Sequencer Level Security.
ICBC
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen
2025 J jnl
SoK: A Review of Cross-Chain Bridge Hacks in 2023.
CoRR
Nikita Belenkov, Valerian Callens, Alexandr Murashkin, Kacper Bak, Martin Derka, Jan Gorzny, Sung-Shine Lee
2024 J jnl
A Rollup Comparison Framework.
CoRR
Jan Gorzny, Martin Derka
2024 J jnl
Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security.
CoRR
Zhiyang Chen, Jan Gorzny, Martin Derka
2024 — conf
Requirements Engineering Challenges for Blockchain Rollups.
RE Workshops
Jan Gorzny, Martin Derka
2024 J jnl
Sequencer Level Security.
CoRR
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen
2024 C conf
SoK: Compression in Rollups.
ICBC
Roshan Palakkal, Jan Gorzny, Martin Derka
2023 — conf
Attacks on Rollups.
DICG@Middleware
Adrian Koegl, Zeeshan Meghji, Donato Pellegrino, Jan Gorzny, Martin Derka
2023 C conf
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks.
ICBC
Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny
2022 — conf
Ideal properties of rollup escape hatches.
DICG@Middleware
Jan Gorzny, Po-An Lin, Martin Derka
2022 J jnl
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks.
CoRR
Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny
2020 — conf
Constant-Time Updates Using Token Mechanics.
Blockchain
Sebastian Banescu, Martin Derka, Jan Gorzny, Sung-Shine Lee, Alex Murashkin
2020 J jnl
Crossing Number for Graphs with Bounded Pathwidth.
Algorithmica
Therese Biedl, Markus Chimani, Martin Derka, Petra Mutzel
2019 A conf
Extending Simple Drawings.
GD
Alan Arroyo, Martin Derka, Irene Parada
2019 J jnl
Extending Simple Drawings.
CoRR
Alan Arroyo, Martin Derka, Irene Parada
2018 — conf
On the Size of Outer-String Representations.
SWAT
Therese Biedl, Ahmad Biniaz, Martin Derka
2018 B conf
Partitioning Orthogonal Histograms into Rectangular Boxes.
LATIN
Therese Biedl, Martin Derka, Veronika Irvine, Anna Lubiw, Debajyoti Mondal, Alexi Turcotte
2017 J jnl
Build a Sporadic Group in Your Basement.
Am. Math. Mon.
Paul E. Becker, Martin Derka, Sheridan K. Houghten, Jennifer Ulrich
2017 B conf
Crossing Number for Graphs with Bounded~Pathwidth.
ISAAC
Therese Biedl, Markus Chimani, Martin Derka, Petra Mutzel
2017 A conf
EPG-representations with Small Grid-Size.
GD
Therese Biedl, Martin Derka, Vida Dujmovic, Pat Morin
2017 J jnl
EPG-representations with small grid-size.
CoRR
Therese Biedl, Martin Derka, Vida Dujmovic, Pat Morin
2017 A conf
Improved Bounds for Drawing Trees on Fixed Points with L-Shaped Edges.
GD
Therese Biedl, Timothy M. Chan, Martin Derka, Kshitij Jain, Anna Lubiw
2017 J jnl
Improved Bounds for Drawing Trees on Fixed Points with L-shaped Edges.
CoRR
Therese Biedl, Timothy M. Chan, Martin Derka, Kshitij Jain, Anna Lubiw
2017 B conf
Order-Preserving 1-String Representations of Planar Graphs.
SOFSEM
Therese Biedl, Martin Derka
2017 B conf
Splitting B_2 -VPG Graphs into Outer-String and Co-Comparability Graphs.
WADS
Therese Biedl, Martin Derka
2016 J jnl
1-string B
J. Comput. Geom.
Therese Biedl, Martin Derka
2016 J jnl
Crossing Number for Graphs With Bounded Pathwidth.
CoRR
Therese Biedl, Markus Chimani, Martin Derka, Petra Mutzel
2016 J jnl
Order-preserving 1-string representations of planar graphs.
CoRR
Therese Biedl, Martin Derka
2016 — conf
Recognition of Triangulation Duals of Simple Polygons With and Without Holes.
CCCG
Martin Derka, Alejandro López-Ortiz, Daniela Maftuleac
2016 J jnl
Recognition of Triangulation Duals of Simple Polygons With and Without Holes.
CoRR
Martin Derka, Alejandro López-Ortiz, Daniela Maftuleac
2016 J jnl
Splitting $B_2$-VPG graphs into outer-string and co-comparability graphs.
CoRR
Martin Derka, Therese Biedl
2016 J jnl
The (3, 1)-ordering for 4-connected planar triangulations.
J. Graph Algorithms Appl.
Therese Biedl, Martin Derka
2015 J jnl
$1$-String $B_1$-VPG Representations of Planar Partial $3$-Trees and Some Subclasses.
CoRR
Therese Biedl, Martin Derka
2015 A* conf
1-String B_2-VPG Representation of Planar Graphs.
SoCG
Therese Biedl, Martin Derka
2015 — conf
1-string B1-VPG-representations of planar partial 3-trees and some subclasses.
CCCG
Therese Biedl, Martin Derka
2015 J jnl
List Colouring Big Graphs On-Line.
CoRR
Martin Derka, Alejandro López-Ortiz, Daniela Maftuleac
2015 C conf
List Colouring and Partial List Colouring of Graphs On-line.
IWOCA
Martin Derka, Alejandro López-Ortiz, Daniela Maftuleac
2015 J jnl
Planar emulators conjecture is nearly true for cubic graphs.
Eur. J. Comb.
Martin Derka, Petr Hlinený
2015 J jnl
The (3, 1)-ordering for 4-connected planar triangulations.
CoRR
Therese Biedl, Martin Derka
2014 J jnl
$1$-String $B_2$-VPG Representation of Planar Graphs.
CoRR
Therese Biedl, Martin Derka
2014 J jnl
1-String CZ-Representation of Planar Graphs.
CoRR
Therese Biedl, Martin Derka
2014 — conf
Turning Orthogonally Convex Polyhedra into Orthoballs.
CCCG
Fidel Barrera-Cruz, Therese Biedl, Martin Derka, Stephen Kiazyk, Anna Lubiw, Hamideh Vosoughpour
2013 J jnl
Dihedral angles and orthogonal polyhedra.
CoRR
Therese Biedl, Martin Derka, Stephen Kiazyk, Anna Lubiw, Hamideh Vosoughpour
2013 J jnl
How not to characterize planar-emulable graphs.
Adv. Appl. Math.
Markus Chimani, Martin Derka, Petr Hlinený, Matej Klusácek
2011 C conf
How Not to Characterize Planar-Emulable Graphs.
IWOCA
Markus Chimani, Martin Derka, Petr Hlinený, Matej Klusácek
2011 J jnl
How Not to Characterize Planar-emulable Graphs
CoRR
Markus Chimani, Martin Derka, Petr Hlinený, Matej Klusácek