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 University of Sheffield
  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ı: 75

Ö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

    561283

    Sonolytic, sonocatalytic and photocatalytic destruction of pharmaceuticals and personal care products in water

    Su ortamındaki tıbbi ilaç ve kişisel bakım ürünlerinin ultrases, katalitik ultrases ve fotokatalitik olarak parçalanması

    BAŞAK SAVUN HEKİMOĞLU

    Doktora

    İngilizce

    İngilizce

    2019

    Çevre MühendisliğiBoğaziçi Üniversitesi

    Çevre Mühendisliği Ana Bilim Dalı

    PROF. DR. HAVVA NİLSUN İNCE

  2. Tez No

    898625

    8-hidroksikinolin içeren polimer içerikli membranların karakterizasyonu ve metal tutunumu

    Characterization and metal capture of polymer inclusion membranes containing 8-hydroxyquinoline

    ÖGET ÖZMUT KARAKAŞ

    Yüksek Lisans

    Türkçe

    Türkçe

    2024

    KimyaSakarya Üniversitesi

    Kimya Ana Bilim Dalı

    DOÇ. DR. AYNUR MANZAK

    DR. ÖĞR. ÜYESİ YASEMİN YILDIZ

  3. 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

  4. Tez No

    888284

    Yetişkin bireylerde idrarda sodyum atımı ve diyetle sodyum alımının tuz eklenmiş besin tüketim sıklığı soru kâğıdı geliştirilerek belirlenmesi

    Determination of sodium excretion in urine and sodium intake through diet in adult individuals by developing a food frequency questionnaire with added salt

    AYŞE GÖKÇE ALP

    Doktora

    Türkçe

    Türkçe

    2024

    Beslenme ve DiyetetikHasan Kalyoncu Üniversitesi

    Beslenme ve Diyetetik Ana Bilim Dalı

    PROF. DR. YASEMİN BEYHAN

  5. Tez No

    478665

    Development of microfluidic cell growth and stress response analysis platforms at single cell resolution

    Mikrofluidik hücre büyüme ve stresli yanıt analiz platformlarının tek hücre çözümlemesinde gelişimi

    SAHL SADEGHI

    Yüksek Lisans

    İngilizce

    İngilizce

    2017

    Mekatronik MühendisliğiSabancı Üniversitesi

    Mekatronik Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. MELTEM ELİTAŞ

Geri Dön