• Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85070229816&origin=inward&txGid=9375f1602fdd70684b0b312fc4189af5
• Preventing data-security breaches and patient-safety risks in cross-blockchain e-healthcare systemsKormiltsõn, Aleksandr; Norta, Alex; Nisar, Sanam; Dwivedi, VimalManagement of Digital EcoSystems : 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5–7, 2023, Revised Selected Papers2024 / p. 41-54 https://doi.org/10.1007/978-3-031-51643-6_4 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/pages/publications/85192254024?inward https://www.webofscience.com/wos/woscc/full-record/WOS:001260534100004
• Towards user-centered and legally relevant smart-contract development : a systematic literature reviewDixit, Abhishek; Deval, Vipin; Dwivedi, Vimal Kumar; Draheim, DirkJournal of Industrial Information Integration2022 / art. 100314 ; 18 p https://doi.org/10.1016/j.jii.2021.100314 https://www.scopus.com/sourceid/21100787106 https://www.scopus.com/record/display.uri?eid=2-s2.0-85123032227&origin=inward&txGid=f0067005acec57c021c2f0f967e39c18 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20IND%20INF%20INTEGR&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000814522400003