Geri Dön

Solium++: A tool for analysing the security of smart contracts

Geçiş Aşamasındaki Çalışmalar: Shirin Neshat

PDF İndir

  1. Tez No: 780976
  2. Yazar: SAKİNE YALMAN
  3. Danışmanlar: Belirtilmemiş.
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2018
  8. Dil: İngilizce
  9. Üniversite: The Unıversıty Of Sheffıeld
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Bilgisayar Bilimleri Ana Bilim Dalı
  12. Bilim Dalı: Yazılım Mühendisliği Bilim Dalı
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

A smart contract is an engaging feature of the blockchain technology and it is considered the most important layer of the blockchain. The goal of a smart contract is that an agreement is enabled, executed, and implemented among untrusted parties without the interaction of any third parties. In other words, there is no any third parties like a bank to prove transactions between entities in a smart contract. However, smart contracts can contain some security vulnerabilities. The purpose of this project is to help developers to avoid vulnerabilities when implementing smart contracts. The project will check smart contracts (are small programs) that contain vulnerabilities; it reports if they have some possible vulnerabilities and proposes fixes for these vulnerabilities if it is possible. This aim is fulfilled by extending an existing static analysis tool.

Özet (Çeviri)

Akıllı sözleşme, blokzinciri teknolojisinin ilgi çekici bir özelliğidir ve blokzincirinin en önemli katmanı olarak kabul edilir. Bir akıllı sözleşmenin amacı, herhangi bir üçüncü tarafın etkileşimi olmadan anonim taraflar arasında bir anlaşmanın yürütülmesine ve uygulanmasına olanak sağlamaktır. Başka bir deyişle, bir akıllı sözleşmede taraflar/kuruluşlar arasındaki işlemleri onaylamak için banka gibi üçüncü taraflar bulunmamaktadır. Ancak, akıllı sözleşmeler bazı güvenlik açıkları içerebilir. Bu projenin amacı, akıllı sözleşmeler hazırlanırken olası güvenlik açıklarının önlenmesi için geliştiricilere yardımcı olmaktır. Bu proje, güvenlik açıkları içeren akıllı sözleşmeleri (küçük programları) kontrol etmekte; olası güvenlik açıklarını raporlamakta ve mümkünse bu güvenlik açıkları için düzeltmeler önermektedir. Bu hedef, mevcut bir statik analiz aracının genişletilmesiyle gerçekleştirilmektedir.

Benzer Tezler

  1. Tez No

    1017140

    Tungsten karbür kesici takım atıklarının radyasyona karşı zırh malzemesi olarak kullanım potansiyelinin incelenmesi

    Investigation of the potential use of tungsten carbide cutting tool waste as a radiation shielding material

    HİLAL KIRDEMİR

    Yüksek Lisans

    Türkçe

    Türkçe

    2026

    Fizik ve Fizik MühendisliğiSakarya Üniversitesi

    Fizik Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ NİLÜFER DEMİRCİ SAYGI

    DR. HATİCE GÖKDEMİR

  2. Tez No

    941591

    Investigating the use of composites of hydrogels and metalorganic frameworks for heavy metal removal using artificial intelligence

    Yapay zeka kullanarak ağır metal giderimi için hidrojel ve metal organik çerçevelerin kompozitlerinin kullanımının incelenmesi

    DERYA OZAN KAYA

    Yüksek Lisans

    İngilizce

    İngilizce

    2025

    Kimya MühendisliğiMarmara Üniversitesi

    Kimya Mühendisliği Ana Bilim Dalı

    DOÇ. DR. UĞUR ÖZVEREN

  3. Tez No

    989426

    Obstrüktif uyku apne sendromlu hastalarda hipertansiyonun vücut suyuna etkisinin biyoempedans cihazı ile değerlendirilmesi

    Evaluation of the effect of hypertension on body water in patients with obstructive sleep apnea syndrome using a bioimpedence device

    BÜŞRA TEKİN

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    2026

    NefrolojiSağlık Bilimleri Üniversitesi

    İç Hastalıkları Ana Bilim Dalı

    DOÇ. DR. SAMİ BAHÇEBAŞI

  4. Tez No

    401163

    Modeling of thermo-mechanical and irradiation behavior of metallic and oxide fuels for sodium fast reactors

    Başlık çevirisi yok

    AYDIN KARAHAN

    Doktora

    İngilizce

    İngilizce

    2009

    Nükleer MühendislikMassachusetts Instıtute Of Technology

    DOÇ. DR. JACOPO BUONGIORNO

  5. Tez No

    310712

    Effect of a diet rich in olive oil phenolics on age-related changes in mouse model of ageing and HPLC analysis of olive oil phenolics with electrochemical detector

    Zeytinyağı fenoliklerince zengin diyetin yaşlanması hızlandırılmış fare modelinde yaşlanmaya bağlı değişiklikler üzerine etkisi ve zeytinyağındaki fenolik maddelerin elektrokimyasal dedektör ile HPLC analizi

    BANU BAYRAM

    Doktora

    İngilizce

    İngilizce

    2011

    Beslenme ve Diyetetikİstanbul Teknik Üniversitesi

    Gıda Mühendisliği Ana Bilim Dalı

    DOÇ. DR. BERAAT ÖZÇELİK

    PROF. DR. GERALD RİMBACH

Geri Dön