Andrzej Wilczyński

Dr. Andrzej Wilczyński

Department of Computer Science, Cracow University of Technology, Kraków, Małopolskie, Poland
orcid

Research Focus & Metrics

Academic Career Length

11Years (2016-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 February 2020 in Simulation Modelling Practice and Theory
Verified
Journal Article
Closed access
Andrzej WilczyńskiAndrzej Wilczyński
Andrzej Wilczyński
JKJoanna Kołodziej
Joanna Kołodziej

30 September 2016 in Journal of Telecommunications and Information Technology
Verified
Journal Article
Open access
PDF file
Andrzej WilczyńskiAndrzej Wilczyński
Andrzej Wilczyński
AJAgnieszka Jakóbik
Agnieszka Jakóbik
Joanna KolodziejJoanna Kolodziej
Joanna Kolodziej
Stackelberg games are non-symmetric games where one player or specified group of players have the privilege position and make decision before the other players. Such games are used in telecommunication and computational systems for supporting administrative decisions. Recently Stackleberg games became useful also in the systems where security issues are the crucial decision criteria. In this paper authors briefly survey the most popular Stackelberg security game models and provide the analysis of the model properties illustrated in the realistic use cases.

28 June 2019 in Journal of Telecommunications and Information Technology
Verified
Journal Article
Open access
Andrzej WilczyńskiAndrzej Wilczyński
Andrzej Wilczyński
AWAdrian Widłak
Adrian Widłak
Data integration and fast effective data processing are the primary challenges in today’s high-performance computing systems used for Big Data processing and analysis in practical scenarios. Blockchain (BC) is a hot, modern technology that ensures high security of data processes stored in highly distributed networks and ICT infrastructures. BC enables secure data transfers in distributed systems without the need for all operations and processes in the network to be initiated and monitored by any central authority (system manager). This paper presents the background of a generic architectural model of a BC system and explains the concept behind the consensus models used in BC transactions. Security is the main aspect of all defined operations and BC nodes. The paper presents also specific BC use cases to illustrate the performance of the system in practical scenarios..

30 March 2017 in Journal of Telecommunications and Information Technology
Verified
Journal Article
Open access
PDF file
Andrzej WilczyńskiAndrzej Wilczyński
Andrzej Wilczyński
AJAgnieszka Jakóbik
Agnieszka Jakóbik
In this paper, the Stackelberg game models are used for supporting the decisions on task scheduling and resource utilization in computational clouds. Stackelberg games are asymmetric games, where a specific group of players’ acts first as leaders, and the rest of the players follow the leaders’ decisions and make their decisions based on the leader’s actions. In the proposed model, the optimal schedules are generated under the security criteria along with the generation of the optimal virtual machines set for the scheduled batch of tasks. The security criteria are defined as security requirements for mapping tasks onto virtual machines with specified trust level. The effectiveness of the proposed method has been verified in the realistic use cases with in the cloud environment with OpenStack and Amazon Cloud standards.

30 July 2025 in Applied Sciences
Verified
Journal Article
Open access
PDF file
Andrzej WilczyńskiAndrzej Wilczyński
Andrzej Wilczyński
GJGabriela Jasnosz
Gabriela Jasnosz
Smart contracts and cryptocurrency wallets are foundational components of decentralized applications (dApps) on blockchain platforms such as Ethereum. While these technologies enable secure, transparent, and automated transactions, their integration also introduces complex security challenges. This study presents a security-oriented analysis of smart contract and wallet integration, focusing on BlockScribe—a decentralized Ethereum-based application for digital record certification. We systematically identify and categorize security risks arising from the interaction between wallet interfaces and smart contract logic. In particular, we analyze how user authorization flows, transaction design, and contract modularity affect the security posture of the entire dApp. To support our findings, we conduct an empirical evaluation using static analysis tools and formal verification methods, examining both contract-level vulnerabilities and integration-level flaws. Our results highlight several overlooked attack surfaces in wallet–contract communication patterns, including reentrancy amplification, permission mismanagement, and transaction ordering issues. We further discuss implications for secure dApp development and propose mitigation strategies that improve the robustness of wallet–contract ecosystems. This case study contributes to a deeper understanding of integration-layer vulnerabilities in blockchain-based systems and offers practical guidance for developers and auditors aiming to strengthen smart contract security.

7 April 2022
Verified
Book Chapter
Open access
PDF file
Andrzej WilczyńskiAndrzej Wilczyński
Andrzej Wilczyński
Joanna KolodziejJoanna Kolodziej
Joanna Kolodziej
Blockchain can be successfully utilised in diverse areas, including the financial sector and the Information and Communication Technology environments, such as computational clouds (CC). While cloud computing optimises the use of resources, it does not (yet) provide an effective solution for the secure hosting scheduling and execution of large computing and data applications and prevention of external attacks.This chapter briefly reviews the recent blockchain-inspired task scheduling and information processing methods in computational clouds. We pay special attention to security, intrusion detection, and unauthorised manipulation of tasks and information in such systems. As an example, we present the implementation of a new blockchain-based scheduler in the computational cloud. We defined a new Proof of Schedule consensus algorithm, which works with the Stackelberg game, regulates checking and adding new blocks to the blockchain, and determines how to validate schedules stored in transactions. The proposed model assumes competition between different schedule providers. The winner of such a competition takes account of the client’s requirements faster and prepares an optimal schedule to meet them. The presented scheduler extends the possibilities of using different scheduling modules by the end-users. By delegating the preparation of the schedules, providers can get benefits only for that, without executing customer tasks.