3 citations · 7 across the 5 of their papers we have counts for
5 papers
Enhancing Security of AI-Based Code Synthesis with GitHub Copilot via Cheap and Efficient Prompt-Engineering
Jakub Res, Ivan Homoliak, Martin Perešíni +3
AI assistants for coding are on the rise. However one of the reasons developers and companies avoid harnessing their full potential is the questionable security of the generated co…
SoK: Cryptocurrency Wallets -- A Security Review and Classification based on Authentication Factors
Ivan Homoliak, Martin Perešíni
In this work, we review existing cryptocurrency wallet solutions with regard to authentication methods and factors from the user's point of view. In particular, we distinguish betw…
DAG-Sword: A Simulator of Large-Scale Network Topologies for DAG-Oriented Proof-of-Work Blockchains
Martin Perešíni, Tomáš Hladký, Kamil Malinka +1
The blockchain brought interesting properties for many practical applications. However, some properties, such as the transaction processing throughput remained limited, especially…
CBDC-AquaSphere: Interoperable Central Bank Digital Currency Built on Trusted Computing and Blockchain
Ivan Homoliak, Martin Perešíni, Patrik Holop +2
The adoption of decentralized, tamper-proof ledger systems is paving the way for new applications and opportunities in different contexts. While most research aims to improve their…
Incentive Attacks on DAG-Based Blockchains with Random Transaction Selection
Martin Perešíni, Ivan Homoliak, Federico Matteo Benčić +2
Several blockchain consensus protocols proposed to use of Directed Acyclic Graphs (DAGs) to solve the limited processing throughput of traditional single-chain Proof-of-Work (PoW)…