14 citations · 25 across the 17 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.LO2024
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…
cs.CR2024★ 1 cited
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…
cs.DC2024★ 2 cited
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…