{"id":14194,"date":"2021-12-22T12:00:12","date_gmt":"2021-12-22T11:00:12","guid":{"rendered":"https:\/\/hub.hslu.ch\/informatik\/?p=14194"},"modified":"2026-02-06T15:45:30","modified_gmt":"2026-02-06T14:45:30","slug":"neues-meta-tool-fuer-smart-contract-sicherheit","status":"publish","type":"post","link":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/","title":{"rendered":"Neues Meta-Tool f\u00fcr Smart Contract Sicherheit"},"content":{"rendered":"\n

Von Luca St\u00e4heli<\/a><\/p>\n\n\n\n

<\/p>\n\n\n\n

Die Blockchain<\/a> kann mehr als Kryptow\u00e4hrungen<\/a>. Smart Contracts<\/a> etwa erlauben es, auf der Blockchain eine Abmachung nach vordefinierten Regeln automatisch umzusetzen. Ethereum ist der Vorreiter bei diesen smarten Vertr\u00e4gen. Ethereum beinhaltet, \u00e4hnlich wie Bitcoin, eine blockchainbasierte Kryptow\u00e4hrung. Neben den Transaktionen kann zus\u00e4tzlich aber auch Code gespeichert werden.<\/p>\n\n\n\n

\n
\"\"<\/a>
Im Gegensatz zur Bitcoin-Blockchain verf\u00fcgt Ethereum \u00fcber das Konzept der Smart Contracts. <\/em><\/figcaption><\/figure>\n\n\n\n
\"\"<\/a>




Smart Contracts erm\u00f6glichen neue Gesch\u00e4ftsmodelle und verbesserte Vertragsprozesse.<\/em><\/figcaption><\/figure>\n<\/figure>\n\n\n\n
Was sind Smart Contracts<\/strong><\/summary>
\n

Smart Contracts sind automatische digitale Vertr\u00e4ge. Sie basieren auf der Blockchain-Technologie und sind durch kryptografische Verschl\u00fcsselungsverfahren gesichert. Viele Gesch\u00e4ftsf\u00e4lle werden inzwischen durch solche Vertr\u00e4ge abgebildet. Ethereum ist daf\u00fcr eine beliebte Plattform. Zu den Anwendungsf\u00e4llen geh\u00f6rt zum Beispiel Crowdfunding (wenn der angepeilte Betrag nicht erreicht wird, erhalten alle Teilnehmenden ihr Geld zur\u00fcck), Shared Wallets (alle Teilnehmenden m\u00fcssen zustimmen), Versicherungen oder auch Gl\u00fccksspiele. Smart Contracts d\u00fcrften viele Institutionen \u00fcberfl\u00fcssig machen, die heute noch daf\u00fcr sorgen, dass die Parteien eines Vertrags einander vertrauen k\u00f6nnen.<\/p>\n<\/div><\/details><\/div>\n\n\n\n

Wie funktionieren Smart Contracts<\/strong><\/summary>
\n

Smart Contracts sind kleine Programme, die Transaktionen empfangen und selbst abwickeln k\u00f6nnen. Diese Vertr\u00e4ge besitzen eine \u00f6ffentliche Adresse und k\u00f6nnen auch ein Guthaben f\u00fchren. Die Codezeilen in einem intelligenten Vertrag enthalten alle Bedingungen einer Vereinbarung zwischen zwei oder mehreren Parteien und f\u00fchren diese automatisch aus, sobald bestimmte Bedingungen erf\u00fcllt sind.<\/p>\n<\/div><\/details><\/div>\n\n\n\n

<\/p>\n\n\n\n

Wo Geld ist, ist auch Kriminalit\u00e4t<\/strong><\/p>\n\n\n\n

Weil Smart Contracts oft mit einer riesigen Menge von Kryptow\u00e4hrungen umgehen, wurden sie in den letzten Jahren vermehrt zum Ziel von Cyber-Kriminellen. Diese haben stets dasselbe Ziel: So mit dem Blockchain-System zu interagieren, dass sie dessen Schw\u00e4chen ausnutzen und sich damit selbst bereichern k\u00f6nnen.<\/p>\n\n\n\n

\n

Smart Contracts wurden in den letzten Jahren vermehrt zum Ziel von Cyber-Kriminellen.<\/p>\n<\/blockquote>\n\n\n\n

Deshalb besch\u00e4ftigte ich mich in meiner MAS-Arbeit mit der Frage, wie man die Qualit\u00e4t von Smart Contracts sicherstellen kann. Dazu \u00fcberpr\u00fcfte ich verschiedene Ans\u00e4tze.<\/p>\n\n\n\n

Programmierfehler und Sicherheitsl\u00fccken<\/strong><\/p>\n\n\n\n

Wie riskant sind Smart Contracts? Dadurch, dass der Code f\u00fcr einen digitalen Vertrag von Menschen geschrieben wird, k\u00f6nnen bei der Erstellung Fehler passieren. Daraus k\u00f6nnen Schwachstellen und Programmierfehler (\u00abBugs\u00bb) auftreten. Diese Fehler k\u00f6nnen bei den beteiligten Partnerinnen und Partnern zu Verlusten f\u00fchren. <\/p>\n\n\n\n

\n

Dadurch, dass Smart Contracts von Menschen geschrieben werden, k\u00f6nnen Fehler passieren. <\/p>\n<\/blockquote>\n\n\n\n

Besonders problematisch ist, dass ein Smart Contract nach der digitalen Unterschrift in Stein gemeisselt ist und nachtr\u00e4gliche Korrekturen unm\u00f6glich sind. Wenn hier ein Fehler passiert, kann dieser, im Gegensatz zu Updates f\u00fcr Standard-Software, nicht mehr behoben werden. Daher ist die Sicherheit umso wichtiger. Denn solche Fehler werden dann gerne von Kriminellen ausgenutzt.<\/p>\n\n\n\n

\"\"<\/a>
Da Smart Contracts oft mit einer grossen Menge von Kryptow\u00e4hrungen umgehen, sind die finanziellen Anreize f\u00fcr Angreifende hoch. <\/figcaption><\/figure>\n\n\n\n

Nehmen wir den j\u00fcngsten Angriff auf das Poly Network<\/a>, bei dem ein Angreifer Token im Wert von 600 Millionen Dollar gestohlen hat. In diesem speziellen Fall gaben die Hacker einen Grossteil der gestohlenen Tokens freiwillig zur\u00fcck<\/a>. Jedoch enden nicht alle Angriffe mit einem solchen Happy End. Man denke nur an einen der bekanntesten Angriffe auf die Decentralized Autonomous Organization (The DAO Hack<\/a>, 2016) oder an den Parity Wallet Hack<\/a> (2017). Die Liste der erfolgreichen Angriffe wird immer l\u00e4nger und es kommen laufend neue hinzu.<\/p>\n\n\n\n

Prototyp zum Erkennen von Sicherheits-Risiken<\/strong><\/p>\n\n\n\n

Um solche Vorf\u00e4lle zu verhindern, ist es wichtig, sichere Smart Contracts zu entwickeln. In meiner Arbeit kam ich zum Schluss: Die Sicherheit von Smart Contracts befindet sich ein einem sich schnell entwickelnden Umfeld. Deshalb ist es n\u00f6tig, die Smart Contract Security ganzheitlich zu betrachten: Besser als ein einzelnen Tools zu nutzen ist es, die Dienste mehrerer Analysetools kombiniert in Anspruch zu nehmen.<\/p>\n\n\n\n

Deswegen habe ich einen Prototyp f\u00fcr einen Meta-Scanner entwickelt. Ganz im Sinne von Virustotal, einem kostenlosen Virenscanner f\u00fcr Dateien, kann ich damit Smart Contracts automatisiert auf ihre Sicherheit \u00fcberpr\u00fcfen.<\/p>\n\n\n\n

\n

Wichtig ist, die Smart Contract Security ganzheitlich zu betrachten und mehrerer Analyse-Tools kombiniert zu nutzen.<\/p>\n<\/blockquote>\n\n\n\n

\n
\"\"<\/a>
Frontend des Prototyps.<\/figcaption><\/figure>\n\n\n\n
\"\"<\/a>
Ablauf eines Scans: Die Resultate werden innert kurzer Zeit angezeigt. Der Meta-Scanner kann helfen, Sicherheits-Risiken zu erkennen.<\/figcaption><\/figure>\n<\/figure>\n\n\n\n

Dabei kombiniere ich bereits existierende Analysetools, welche mit verschiedenen Techniken Smart Contracts analysieren. Der Prototyp liefert somit die Ergebnisse der zugrundeliegenden Tools. <\/p>\n\n\n\n

Das Web-Interface ist intuitiv nutzbar. Die Nutzerinnen und Nutzer k\u00f6nnen entweder einen Solidity Smart Contract (Solidity ist die am h\u00e4ufigsten verwendete Programmiersprache, in der Smart Contract geschrieben werden) hochladen oder auf simple Weise die Smart Contract Adresse zur Analyse einf\u00fcgen. Mit Hilfe dieses Scanners k\u00f6nnen sich die Nutzerinnen und Nutzer absichern und erhalten so mehr Sicherheit \u00fcber die Smart Contracts, mit denen sie interagieren.

Ich werde den Meta-Scanner in naher Zukunft auf Github ver\u00f6ffentlichen. So kann jeder, der will, den Meta-Scanner lokal nutzen und weiterentwickeln. Diese Wahl hat auch mit der Rechenleistung zu tun, die ben\u00f6tigt wird, um eine Analyse mit den verschiedenen Tools durchzuf\u00fchren. Deshalb reicht 
ein 0815-Webserver nicht aus, um den Prototypen zu betreiben.<\/p>\n\n\n

\n\t
\n\t\t
\n\t\t\t
\"\"<\/a>
Luca St\u00e4heli<\/figcaption><\/figure>\n

Luca St\u00e4heli<\/strong> <\/a>hat sich in seiner MAS-Arbeit damit auseinandergesetzt, wie Smart Contracts automatisiert auf Sicherheit und Programmierfehler hin untersucht werden k\u00f6nnen. Er hat den MAS Information & Cyber Security<\/a> abgeschlossen und dazu die folgenden CAS besucht: CAS Information Security – Technology, <\/a>CAS Information Security – Management<\/a> und CAS Cyber Security Defence & Response<\/a><\/p>\n

Bilden Sie sich weiter:<\/strong> Die Hochschule Luzern bietet zahlreiche Weiterbildungen im Bereich Information & Cyber Security | Privacy<\/strong><\/a><\/p>\n

Interessiert <\/strong>Information & Cyber Security<\/strong><\/a> zu studieren?<\/strong><\/p>\n

Bachelor in Information & Cyber Security<\/strong><\/a>:<\/strong> Mit dem Studium Information & Cyber Security erwerben Sie das notwendige Fachwissen, um Unternehmen und Verwaltungen vor Hacker-Angriffen zu sch\u00fctzen und mit einer sicheren IT-Infrastruktur auszustatten.<\/p>\n

Gef\u00e4llt Ihnen unser Informatik-Blog? <\/strong>Hier erhalten Sie Tipps und lesen \u00fcber Trends aus der Welt der Informatik. Wir bieten Einsichten in unser Departement und Portr\u00e4ts von IT-Vordenkerinnen, Vision\u00e4ren und spannenden Menschen: Abonnieren Sie jetzt unseren Blog<\/a>!<\/p>\n\t\t<\/div>\n\t<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

So werden Smart Contracts sicherer: Luca St\u00e4heli hat in seiner MAS-Arbeit einen Prototyp entwickelt, welcher digitale Vertr\u00e4ge in der Blockchain auf ihre Sicherheit hin untersucht. In diesem Beitrag erkl\u00e4rt er, was es damit auf sich hat.<\/p>\n","protected":false},"author":4,"featured_media":14214,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"inline_featured_image":false,"_relevanssi_hide_post":"","_relevanssi_hide_content":"","_relevanssi_pin_for_all":"","_relevanssi_pin_keywords":"","_relevanssi_unpin_keywords":"","_relevanssi_related_keywords":"","_relevanssi_related_include_ids":"","_relevanssi_related_exclude_ids":"","_relevanssi_related_no_append":"","_relevanssi_related_not_related":"","_relevanssi_related_posts":"26450,26275,26420,26236,26222,25888","_relevanssi_noindex_reason":"","footnotes":"","_links_to":"","_links_to_target":""},"categories":[392489,392492],"tags":[582303,124911,653548],"class_list":["post-14194","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-distributed-systems","category-security","tag-cyber-security","tag-information-security","tag-smart-contract"],"acf":[],"yoast_head":"\nNeues Meta-Tool f\u00fcr Smart Contract Sicherheit - Informatik an der Hochschule Luzern<\/title>\n<meta name=\"description\" content=\"So werden Smart Contracts sicherer: Luca St\u00e4heli hat in seiner MAS-Arbeit einen Prototyp entwickelt, welcher digitale Vertr\u00e4ge in der Blockchain auf ihre Sicherheit hin untersucht. In diesem Beitrag erkl\u00e4rt er, was es damit auf sich hat. %\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/\" \/>\n<meta property=\"og:locale\" content=\"de_DE\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Neues Meta-Tool f\u00fcr Smart Contract Sicherheit - Informatik an der Hochschule Luzern\" \/>\n<meta property=\"og:description\" content=\"So werden Smart Contracts sicherer: Luca St\u00e4heli hat in seiner MAS-Arbeit einen Prototyp entwickelt, welcher digitale Vertr\u00e4ge in der Blockchain auf ihre Sicherheit hin untersucht. In diesem Beitrag erkl\u00e4rt er, was es damit auf sich hat. %\" \/>\n<meta property=\"og:url\" content=\"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/\" \/>\n<meta property=\"og:site_name\" content=\"Informatik an der Hochschule Luzern\" \/>\n<meta property=\"article:published_time\" content=\"2021-12-22T11:00:12+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-02-06T14:45:30+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/hub.hslu.ch\/informatik\/wp-content\/blogs.dir\/632\/files\/sites\/3\/Bildschirmfoto-2021-12-22-um-11.24.04.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1696\" \/>\n\t<meta property=\"og:image:height\" content=\"950\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"Yasmin Billeter\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@weitertanzen\" \/>\n<meta name=\"twitter:label1\" content=\"Geschrieben von\" \/>\n\t<meta name=\"twitter:data1\" content=\"Yasmin Billeter\" \/>\n\t<meta name=\"twitter:label2\" content=\"Gesch\u00e4tzte Lesezeit\" \/>\n\t<meta name=\"twitter:data2\" content=\"6\u00a0Minuten\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":[\"Article\",\"BlogPosting\"],\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/\"},\"author\":{\"name\":\"Yasmin Billeter\",\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/#\\\/schema\\\/person\\\/812dcf123b47ed2e36ce795218a6564f\"},\"headline\":\"Neues Meta-Tool f\u00fcr Smart Contract Sicherheit\",\"datePublished\":\"2021-12-22T11:00:12+00:00\",\"dateModified\":\"2026-02-06T14:45:30+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/\"},\"wordCount\":845,\"commentCount\":0,\"image\":{\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/wp-content\\\/blogs.dir\\\/632\\\/files\\\/sites\\\/3\\\/Bildschirmfoto-2021-12-22-um-11.24.04.png\",\"keywords\":[\"Cyber Security\",\"Information Security\",\"Smart Contract\"],\"articleSection\":[\"Distributed Systems\",\"Security\"],\"inLanguage\":\"de-CH\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/#respond\"]}]},{\"@type\":[\"WebPage\",\"ItemPage\"],\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/\",\"url\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/\",\"name\":\"Neues Meta-Tool f\u00fcr Smart Contract Sicherheit - Informatik an der Hochschule Luzern\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/wp-content\\\/blogs.dir\\\/632\\\/files\\\/sites\\\/3\\\/Bildschirmfoto-2021-12-22-um-11.24.04.png\",\"datePublished\":\"2021-12-22T11:00:12+00:00\",\"dateModified\":\"2026-02-06T14:45:30+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/#\\\/schema\\\/person\\\/812dcf123b47ed2e36ce795218a6564f\"},\"description\":\"So werden Smart Contracts sicherer: Luca St\u00e4heli hat in seiner MAS-Arbeit einen Prototyp entwickelt, welcher digitale Vertr\u00e4ge in der Blockchain auf ihre Sicherheit hin untersucht. In diesem Beitrag erkl\u00e4rt er, was es damit auf sich hat. %\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/#breadcrumb\"},\"inLanguage\":\"de-CH\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"de-CH\",\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/#primaryimage\",\"url\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/wp-content\\\/blogs.dir\\\/632\\\/files\\\/sites\\\/3\\\/Bildschirmfoto-2021-12-22-um-11.24.04.png\",\"contentUrl\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/wp-content\\\/blogs.dir\\\/632\\\/files\\\/sites\\\/3\\\/Bildschirmfoto-2021-12-22-um-11.24.04.png\",\"width\":1696,\"height\":950,\"caption\":\"Kriminelle nutzen Schwachstellen in Smart Contracts aus. MAS-Absolvent Luca St\u00e4heli hat eine Plattform entwickelt, welche die Dienste mehrerer Analysetools vereint und damit die Sicherheit digitaler Vertr\u00e4ge erh\u00f6ht.\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/neues-meta-tool-fuer-smart-contract-sicherheit\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Neues Meta-Tool f\u00fcr Smart Contract Sicherheit\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/#website\",\"url\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/\",\"name\":\"Informatik an der Hochschule Luzern\",\"description\":\"Der offizielle Blog der Hochschule Luzern \u2013 Informatik\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"de-CH\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/hub.hslu.ch\\\/informatik\\\/#\\\/schema\\\/person\\\/812dcf123b47ed2e36ce795218a6564f\",\"name\":\"Yasmin Billeter\",\"description\":\"Verantwortlich f\u00fcr den Informatik-Blog der Hochschule Luzern. Hier geben wir Tipps & Neuigkeiten aus der Welt der IT, portr\u00e4tieren Menschen und schreiben \u00fcber Technologien, welche die HSLU \u2013 I mitpr\u00e4gen.\",\"sameAs\":[\"https:\\\/\\\/www.linkedin.com\\\/in\\\/yasmin-billeter\\\/\",\"https:\\\/\\\/x.com\\\/weitertanzen\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Neues Meta-Tool f\u00fcr Smart Contract Sicherheit - Informatik an der Hochschule Luzern","description":"So werden Smart Contracts sicherer: Luca St\u00e4heli hat in seiner MAS-Arbeit einen Prototyp entwickelt, welcher digitale Vertr\u00e4ge in der Blockchain auf ihre Sicherheit hin untersucht. In diesem Beitrag erkl\u00e4rt er, was es damit auf sich hat. %","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/","og_locale":"de_DE","og_type":"article","og_title":"Neues Meta-Tool f\u00fcr Smart Contract Sicherheit - Informatik an der Hochschule Luzern","og_description":"So werden Smart Contracts sicherer: Luca St\u00e4heli hat in seiner MAS-Arbeit einen Prototyp entwickelt, welcher digitale Vertr\u00e4ge in der Blockchain auf ihre Sicherheit hin untersucht. In diesem Beitrag erkl\u00e4rt er, was es damit auf sich hat. %","og_url":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/","og_site_name":"Informatik an der Hochschule Luzern","article_published_time":"2021-12-22T11:00:12+00:00","article_modified_time":"2026-02-06T14:45:30+00:00","og_image":[{"width":1696,"height":950,"url":"https:\/\/hub.hslu.ch\/informatik\/wp-content\/blogs.dir\/632\/files\/sites\/3\/Bildschirmfoto-2021-12-22-um-11.24.04.png","type":"image\/png"}],"author":"Yasmin Billeter","twitter_card":"summary_large_image","twitter_creator":"@weitertanzen","twitter_misc":{"Geschrieben von":"Yasmin Billeter","Gesch\u00e4tzte Lesezeit":"6\u00a0Minuten"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":["Article","BlogPosting"],"@id":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/#article","isPartOf":{"@id":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/"},"author":{"name":"Yasmin Billeter","@id":"https:\/\/hub.hslu.ch\/informatik\/#\/schema\/person\/812dcf123b47ed2e36ce795218a6564f"},"headline":"Neues Meta-Tool f\u00fcr Smart Contract Sicherheit","datePublished":"2021-12-22T11:00:12+00:00","dateModified":"2026-02-06T14:45:30+00:00","mainEntityOfPage":{"@id":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/"},"wordCount":845,"commentCount":0,"image":{"@id":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/#primaryimage"},"thumbnailUrl":"https:\/\/hub.hslu.ch\/informatik\/wp-content\/blogs.dir\/632\/files\/sites\/3\/Bildschirmfoto-2021-12-22-um-11.24.04.png","keywords":["Cyber Security","Information Security","Smart Contract"],"articleSection":["Distributed Systems","Security"],"inLanguage":"de-CH","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/#respond"]}]},{"@type":["WebPage","ItemPage"],"@id":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/","url":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/","name":"Neues Meta-Tool f\u00fcr Smart Contract Sicherheit - Informatik an der Hochschule Luzern","isPartOf":{"@id":"https:\/\/hub.hslu.ch\/informatik\/#website"},"primaryImageOfPage":{"@id":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/#primaryimage"},"image":{"@id":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/#primaryimage"},"thumbnailUrl":"https:\/\/hub.hslu.ch\/informatik\/wp-content\/blogs.dir\/632\/files\/sites\/3\/Bildschirmfoto-2021-12-22-um-11.24.04.png","datePublished":"2021-12-22T11:00:12+00:00","dateModified":"2026-02-06T14:45:30+00:00","author":{"@id":"https:\/\/hub.hslu.ch\/informatik\/#\/schema\/person\/812dcf123b47ed2e36ce795218a6564f"},"description":"So werden Smart Contracts sicherer: Luca St\u00e4heli hat in seiner MAS-Arbeit einen Prototyp entwickelt, welcher digitale Vertr\u00e4ge in der Blockchain auf ihre Sicherheit hin untersucht. In diesem Beitrag erkl\u00e4rt er, was es damit auf sich hat. %","breadcrumb":{"@id":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/#breadcrumb"},"inLanguage":"de-CH","potentialAction":[{"@type":"ReadAction","target":["https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/"]}]},{"@type":"ImageObject","inLanguage":"de-CH","@id":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/#primaryimage","url":"https:\/\/hub.hslu.ch\/informatik\/wp-content\/blogs.dir\/632\/files\/sites\/3\/Bildschirmfoto-2021-12-22-um-11.24.04.png","contentUrl":"https:\/\/hub.hslu.ch\/informatik\/wp-content\/blogs.dir\/632\/files\/sites\/3\/Bildschirmfoto-2021-12-22-um-11.24.04.png","width":1696,"height":950,"caption":"Kriminelle nutzen Schwachstellen in Smart Contracts aus. MAS-Absolvent Luca St\u00e4heli hat eine Plattform entwickelt, welche die Dienste mehrerer Analysetools vereint und damit die Sicherheit digitaler Vertr\u00e4ge erh\u00f6ht."},{"@type":"BreadcrumbList","@id":"https:\/\/hub.hslu.ch\/informatik\/neues-meta-tool-fuer-smart-contract-sicherheit\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/hub.hslu.ch\/informatik\/"},{"@type":"ListItem","position":2,"name":"Neues Meta-Tool f\u00fcr Smart Contract Sicherheit"}]},{"@type":"WebSite","@id":"https:\/\/hub.hslu.ch\/informatik\/#website","url":"https:\/\/hub.hslu.ch\/informatik\/","name":"Informatik an der Hochschule Luzern","description":"Der offizielle Blog der Hochschule Luzern \u2013 Informatik","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/hub.hslu.ch\/informatik\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"de-CH"},{"@type":"Person","@id":"https:\/\/hub.hslu.ch\/informatik\/#\/schema\/person\/812dcf123b47ed2e36ce795218a6564f","name":"Yasmin Billeter","description":"Verantwortlich f\u00fcr den Informatik-Blog der Hochschule Luzern. Hier geben wir Tipps & Neuigkeiten aus der Welt der IT, portr\u00e4tieren Menschen und schreiben \u00fcber Technologien, welche die HSLU \u2013 I mitpr\u00e4gen.","sameAs":["https:\/\/www.linkedin.com\/in\/yasmin-billeter\/","https:\/\/x.com\/weitertanzen"]}]}},"featured_image_src":"https:\/\/hub.hslu.ch\/informatik\/wp-content\/blogs.dir\/632\/files\/sites\/3\/Bildschirmfoto-2021-12-22-um-11.24.04.png","featured_image_src_square":"https:\/\/hub.hslu.ch\/informatik\/wp-content\/blogs.dir\/632\/files\/sites\/3\/Bildschirmfoto-2021-12-22-um-11.24.04.png","author_info":{"display_name":"Yasmin Billeter","author_link":"https:\/\/hub.hslu.ch\/informatik\/author\/yasminbilleter\/"},"_links":{"self":[{"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/posts\/14194","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/comments?post=14194"}],"version-history":[{"count":52,"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/posts\/14194\/revisions"}],"predecessor-version":[{"id":26526,"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/posts\/14194\/revisions\/26526"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/media\/14214"}],"wp:attachment":[{"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/media?parent=14194"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/categories?post=14194"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hub.hslu.ch\/informatik\/wp-json\/wp\/v2\/tags?post=14194"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}