14 citations · 25 across the 17 of their papers we have counts for
20 papers
A Practical Rollup Escape Hatch Design
Francisco Gomes Figueira, Martin Derka, Ching Lun Chiu +1
A rollup network is a type of popular "Layer 2" scaling solution for general purpose "Layer 1" blockchains like Ethereum. Rollups networks separate execution of transactions from o…
SoK: A Review of Cross-Chain Bridge Hacks in 2023
Nikita Belenkov, Valerian Callens, Alexandr Murashkin +4
Blockchain technology has revolutionized industries by enabling secure and decentralized transactions. However, the isolated nature of blockchain ecosystems hinders the seamless tr…
Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
Zhiyang Chen, Jan Gorzny, Martin Derka
In the realm of smart contract security, transaction malice detection has been able to leverage properties of transaction traces to identify hacks with high accuracy. However, thes…
Sequencer Level Security
Martin Derka, Jan Gorzny, Diego Siqueira +3
Current blockchains do not provide any security guarantees to the smart contracts and their users as far as the content of the transactions is concerned. In the spirit of decentral…
A Rollup Comparison Framework
Jan Gorzny, Martin Derka
Rollups are a popular blockchain paradigm where one blockchain network is anchored to a different blockchain network, typically though smart contracts and data commitments. The rol…
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks
Sung-Shine Lee, Alexandr Murashkin, Martin Derka +1
The 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 ass…