• 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 https://www.scopus.com/sourceid/21100374601 https://www.scopus.com/record/display.uri?eid=2-s2.0-85107051357&origin=inward&txGid=f2bca9848ff56958dfa0cb2e771b7f53 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20ACCESS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000673595600001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85036461982&origin=inward&txGid=606bbd41a3252c20d93fe400e9106a39 https://www.webofscience.com/wos/woscc/full-record/WOS:000440851600013
• 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 https://www.scopus.com/sourceid/28898 https://www.scopus.com/record/display.uri?eid=2-s2.0-85068181119&origin=inward&txGid=c4272b532e8bdb269f1498304362354d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20SECUR&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000483406200015
• 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 https://www.scopus.com/sourceid/21100409311 https://www.scopus.com/record/display.uri?eid=2-s2.0-85121557164&origin=inward&txGid=c5fb0bb869b06282030dd048463028c2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20INTERNET&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000736897300001