A formal specification smart-contract language for legally binding decentralized autonomous organizationsDwivedi, Vimal Kumar; Norta, Alexander; Wulf, Alexander; Leiding, Benjamin; Saxena, Sandeep; Udokwu, ChibuzorIEEE Access2021 / p. 76069−76082 : ill https://doi.org/10.1109/ACCESS.2021.3081926 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Lowering financial inclusion barriers with a blockchain-based capital transfer systemNorta, Alexander; Leiding, Benjamin; Lane, AlexiIEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)2019 / art. 8845177 ; p. 319-324 https://doi.org/10.1109/INFCOMW.2019.8845177

Lowering financial inclusion barriers with a blockchain-based capital transfer system : whitepaper [Online resource]Lane, Alexi; Leiding, Benjamin; Norta, Alexander2017 https://crushcrypto.com/wp-content/uploads/2017/09/EVX-Whitepaper.pdf

Mapping requirements specifications into a formalized blockchain-enabled authentication protocol for secured personal identity assuranceLeiding, Benjamin; Norta, AlexanderFuture Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings2017 / p. 181-196 : ill https://doi.org/10.1007/978-3-319-70004-5_13

Safeguarding a formalized blockchain-enabled identity-authentication protocol by applying security risk-oriented patternsNorta, Alexander; Matulevičius, Raimundas; Leiding, BenjaminComputers & Security2019 / p. 253−269 https://doi.org/10.1016/j.cose.2019.05.017 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

The Machine-to-Everything (M2X) economy: business enactments, collaborations and e-governanceLeiding, Benjamin; Sharma, Priyanka; Norta, AlexanderFuture Internet2021 / 15 p. : ill https://doi.org/10.3390/fi13120319 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS