Blockchain Security and Applications

Funded in part by an industry research grant

This project studies the following research topics:

Security of blockchain-based consensus protocols
Secure smart contracts
Applications of blockchains

Publications

Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas Veneris, Aron Laszka (2023). Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts with VeriSolid. IEEE Transactions on Dependable and Secure Computing. Impact Factor: 6.79 (2023)

Scott Eisele, Michael Wilbur, Taha Eghtesad, Kevin Silvergold, Fred Eisele, Aron Laszka, Abhishek Dubey (2022). Decentralized Computation Market for Stream Processing Applications. IC2E 2022.

Michael Bartholic, Aron Laszka, Go Yamamoto, Eric Burger (2022). A Taxonomy of Blockchain Oracles: The Truth Depends on the Question. ICBC 2022.

Raunak Sarbajna, Christoph F. Eick, Aron Laszka (2021). DeimosBC: A Blockchain-based System for Crowdsensing after Natural Disasters. BRAINS 2021.

Yoko Shibuya, Go Yamamoto, Fuhito Kojima, Elaine Shi, Shin'ichiro Matsuo, Aron Laszka (2021). Selfish Mining Attacks Exacerbated by Elastic Hash Supply. FC 2021. Acceptance rate: 25%

PDF Project Slides

Go Yamamoto, Aron Laszka, Fuhito Kojima (2020). Equilibrium of Blockchain Miners with Dynamic Asset Allocation. BRAINS 2020.

Mudabbir Kaleem, Anastasia Mavridou, Aron Laszka (2020). Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities. BRAINS 2020.

Blockchains Cybersecurity