نتائج البحث

Automatic Conversion of Smart Contracts for Non-Blocking Verification

• Authors : Parekh, Nishant, 1993; Ahrendt, Wolfgang, 1967; Fabian, Martin, 1960

Subjects: security; non-blocking; smart contracts

• Source: 17th IFAC Workshop on Discrete Event Systems, WODES 2024, Rio de Janeiro, Brazil IFAC-PapersOnLine. 58(1):282-287

تفاصيل العنوان

IOTASDN: IOTA 2.0 Smart Contracts for Securing Software-Defined Networking Ecosystem.

• Authors : Fartitchou, Mohamed¹ (AUTHOR) ; Lamaakal, Ismail¹ (AUTHOR) ; Maleh, Yassine² (AUTHOR)

• Source: Sensors (14248220). Sep2024, Vol. 24 Issue 17, p5716. 25p.

تفاصيل العنوان

IOTASDN: IOTA 2.0 Smart Contracts for Securing Software-Defined Networking Ecosystem

• Authors : Mohamed Fartitchou; Ismail Lamaakal; Yassine Maleh

Subjects: Blockchain (BC); integrity; IOTA 2.0

• Source: Sensors, Vol 24, Iss 17, p 5716 (2024)

تفاصيل العنوان

A private Ethereum blockchain for organ donation and transplantation based on intelligent smart contracts

• Authors : V. Sitharamulu; G. Sucharitha; Sachi Nandan Mohanty

Subjects: Organ Donation; Blockchain Technology; Ethereum Network

• Source: Egyptian Informatics Journal, Vol 28, Iss , Pp 100542- (2024)

تفاصيل العنوان

Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks.

• Authors : García-Valls, Marisol¹ (AUTHOR) ; Chirivella-Ciruelos, Alejandro M.¹ (AUTHOR)

• Source: Information (2078-2489). Jan2024, Vol. 15 Issue 1, p24. 14p.

تفاصيل العنوان

A formal verification approach for composite smart contracts security using FSM

• Authors : Mouhamad Almakhour; Layth Sliman; Abed Ellatif Samhat

Subjects: Composite smart contracts; Finite state machine; Verification

• Source: Journal of King Saud University: Computer and Information Sciences, Vol 35, Iss 1, Pp 70-86 (2023)

تفاصيل العنوان

Modeling and Security Verification of State-Based Smart Contracts

• Authors : Mohajerani, Sahar, 1982; Ahrendt, Wolfgang, 1967; Fabian, Martin, 1960

Subjects: nonblocking; security; verification

• Source: 16th IFAC Workshop on Discrete Event Systems (WODES), Prague, Czech Republic IFAC-PapersOnLine. 55(28):356-362

تفاصيل العنوان

Introduction to Smart contracts, Web 3.0 & DApps Development

• Authors : Karaarslan, Enis

Subjects: Smart Contracts; DApps; blokzincir

تفاصيل العنوان

A transformative shift toward blockchain‐based IoT environments: Consensus, smart contracts, and future directions.

• Authors : Trivedi, Chandan^1,2 (AUTHOR); Rao, Udai Pratap³ (AUTHOR); Parmar, Keyur² (AUTHOR)

• Source: Security & Privacy. Sep2023, Vol. 6 Issue 5, p1-42. 42p.

تفاصيل العنوان

Assuring M2M Secure Transactions via Blockchain and Smart Contracts

• Authors : Nuno Leite; Alexandre Santos; Nuno Lopes

Subjects: security; iot; blockchain

• Source: Journal of Communications Software and Systems, Vol 17, Iss 3, Pp 260-269 (2021)

تفاصيل العنوان