Ne (2984)
Použitá omezení
(3)
Počet nalezených dokumentů:
2984
Publikováno od
do
Evaluating Reliability of Static Analysis Results Using Machine Learning
Beránek, Tomáš; Fiedor, Jan; Vojnar, Tomáš
2024 - anglický
Statický analyzátor Meta Infer je nástrojem pro hledání různých typů chyb ve zdrojovém kódu. Jeho výsledky však obsahují více než 95 % falešných hlášení. Tato teze navrhuje řešení, které řadí hlášení od Meta Inferu pomocí grafových neuronových sítí (GNN) podle pravděpodobnosti, že se jedná o skutečnou chybu, a redukuje tak problém s falešnými hlášeními. Systém se skládá z trénovací části, která převádí datovou sadu D2A – sadu roztříděných hlášení z Meta Inferu – na rozšířené grafy vlastností kódu (ECPG) a z modelů GNN natrénovaných na ECPG grafech. Výsledky experimentů ukazují, že vytvořené modely GNN mohou konkurovat a v některých případech dokonce překonat existující řešení vyvíjené silnými průmyslovými týmy. Tato existující řešení mají navíc uzavřený zdrojový kód, a tak řešení vytvořené v této tezi poskytuje slibnou alternativu s otevřeným zdrojovým kódem. The Meta Infer static analyzer is a tool for detecting various types of errors in source code. However, its results contain more than 95 % of false alarms. This thesis proposes a solution that ranks Infer’s reports using Graph Neural Networks (GNNs) based on the likelihood of being a real error, thus mitigating the issue with false alarms. The system consists of a training pipeline, which converts the D2A dataset – a set of labeled reports from Meta Infer – into Extended Code Property Graphs (ECPGs) and GNN models trained on these ECPGs. Experimental results indicate that the developed GNN models can match, and in some cases even surpass, existing models developed by strong industrial teams. Moreover, these existing solutions are closed source, making the solution developed in this thesis a promising open-source alternative.
Klíčová slova:
Static analysis; Meta Infer; deep learning; graph neural networks; false alarm detection; vulnerability detection; code property graphs; LLVM internal representation; Joern; LLVM Slicer; program slicing; graph representation construction; source code analysis; D2A dataset; graph D2A dataset; extended code property graphs.; Statická analýza; Meta Infer; hluboké učení; grafové neuronové sítě; detekce falešných hlášení; detekce zranitelností; grafy vlastností kódu; interní reprezentace LLVM; Joern; LLVM Slicer; prořezávání programů; konstrukce grafové reprezentace; analýza zdrojového kódu; dataset D2A; grafový D2A; rozšířené grafy vlastností kódu.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Evaluating Reliability of Static Analysis Results Using Machine Learning
Statický analyzátor Meta Infer je nástrojem pro hledání různých typů chyb ve zdrojovém kódu. Jeho výsledky však obsahují více než 95 % falešných hlášení. Tato teze navrhuje řešení, které řadí hlášení ...
Dělení textu do logických celků
Kostelník, Martin; Kišš, Martin; Beneš, Karel
2024 - anglický
Cílem projektu bylo vytvořit systém pro automatickou segmentaci textu do logických celků. Práce staví na systému PERO-OCR a cílí na zlepšení zpracovávání českých historických dokumentů a jejich vyhledávačů používaných knihovníky a vědci. Práce zahrnovala vytvoření a anotace vlastní datové sady složené celkem z 4044 stránek z knih, slovníků a novin. K problému segmentaci textu je přistoupeno inovativních přístupem, kdy je brán jako shlukovací problém jednotlivých řádků textu. Metoda je dvoufázová: nejprve probíhá detekce regionů textu pomocí modelu YOLOv8 a následuje jejich spojení grafovou neuronovou sítí. Vyhodnocení je provedeno pomocí shlukovací metriky V-measure a na testovacím datasetu dosahuje hodnot 77.93 % pro knihy, 95.79 % pro slovníky a 90.23 % pro noviny. The goal of this project is the topic segmentation of text into coherent units. It builds on the PERO-OCR software, aiming to improve the processing of Czech historical documents and information retrieval for librarians and scientists. This included the creation and annotation of a custom dataset comprised of 4044 pages from books, dictionaries, and periodicals. I propose an innovative approach treating segmentation as a line clustering problem. The method involves a two-stage process: initial detection of regions of interest containing text lines using the YOLOv8 model, followed by joining them using a graph neural network. This method achieves a V-measure of 77.93 %, 95.79 % and 90.23 % for books, dictionaries and periodicals, respectively.
Klíčová slova:
text segmentation; machine learning; optical character recognition; OCR; language models; graph neural networks; object detection; BERT; YOLOv8; historical documents; segmentace textu; strojové učení; optické rozpoznávání znaků; OCR; jazykové modely; grafové neuronové sítě; detekce objektů; BERT; YOLOv8; historické dokumenty
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Dělení textu do logických celků
Cílem projektu bylo vytvořit systém pro automatickou segmentaci textu do logických celků. Práce staví na systému PERO-OCR a cílí na zlepšení zpracovávání českých historických dokumentů a jejich ...
Převodníky v automatové knihovně Mata
Chocholatý, David; Lengál, Ondřej; Holík, Lukáš
2024 - anglický
Implementujeme konečné převodníky do nové rychlé a jednoduché automatové knihovny Mata. Konečné převodníky jsou konečné stavové stoje modelující regulární relace. Naše hlavní použití pro konečné převodníky je kódovaní operací nahrazení (nahrazení slova nebo regulárního vzoru řetězcem). Nový SMT nástroj pro řešení formulí s omezeními nad řetězci Z3-Noodler používá knihovnu Mata jako základ pro jeho rozhodovací proceduru. Noodler potřebuje konečné převodníky k analýze programů manipulujících s řetězci s operacemi nahrazení. Analýzou zmíněných programů používaných ve webových aplikacích se zabrání útokům jako cross-site scripting (XSS) nebo vložení kódu. Hlavní odlišující vlastnosti knihovny Mata zahrnují jednoduchost (jednoduchá k užívání, úpravě a rozšíření) a efektivitu (pracuje rychle). Reprezentaci a algoritmy pro konečné převodníky jsme navrhli s ohledem na tyto vlastnosti knihovny. K reprezentaci konečných převodníků a jejich algoritmů znovupoužijeme a rozšíříme existující datové struktury a algoritmy pro konečné automaty v knihovně Mata. Reprezentace pro konečné převodníky slouží jako společná reprezentace pro konečné převodníky a budoucí reprezentaci automatů využívajících multi-terminálních binárních rozhodovacích diagramů pro práci s velkými abecedami. Navíc rozšíříme návrh o algoritmy pro konstrukci konečných převodníků modelujících operace nahrazení definovaných v SMT-LIB. Nakonec experimentálně vyhodnotíme efektivitu konečných převodníků v knihovně Mata na nové sadě příkladů s operacemi nahrazení z běhů nástroje Z3-Noodler a z řešení problémů nalezení vzoru. We implement finite transducers in a new fast and simple automata library Mata. Finite transducers are finite state machines modelling rational relations. Our primary use case for finite transducers is encoding replace operations (replacing a word or a regular pattern with a string literal). A recent automata-based SMT string solver Z3-Noodler uses Mata as a backbone of its decision procedure. Z3-Noodler needs finite transducers to analyse string manipulating programs with replace operations. The analysis of said programs used in web applications prevents software attacks such as cross-site scripting (XSS) or code injection. The distinctive features of Mata include simplicity (simple to use, modify and extend) and efficiency (fast to run). We design the representation and algorithms for finite transducers to fit the simplicity and efficiency requirements. We inherit and extend the existing data structures and algorithms for finite automata in Mata to represent the finite transducers and their operations. The representation for finite transducers serves as a common data structure and interface for the finite transducers and future representation of automata using multi-terminal binary decision diagrams to handle large alphabets. We further extend the design with algorithms to construct finite transducers modelling replace operations defined in SMT-LIB. Finally, we run an experimental evaluation of performance of finite transducers in Mata on a new benchmark with replace operations from runs of Z3-Noodler and from solving problems in pattern matching.
Klíčová slova:
finite transducers; finite automata; replace operations; string solving; string constraints; SMT; efficiency; simplicity; verification; cross-site scripting; code injection; browser transductions; composition; projection; application; nondeterminism; konečné převodníky; konečné automaty; operace nahrazení; řešení řetězcových problémů; řetězcová omezení; SMT; efektivita; jednoduchost; verifikace; cross-site scripting; vložení kódu; prohlížečové transdukce; kompozice; projekce; aplikace; nedeterminismus
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Převodníky v automatové knihovně Mata
Implementujeme konečné převodníky do nové rychlé a jednoduché automatové knihovny Mata. Konečné převodníky jsou konečné stavové stoje modelující regulární relace. Naše hlavní použití pro konečné ...
Dynamické in-situ experimenty s využitím sondové mikroskopie
Patočka, Marek; Frank, Otakar; Kolíbal, Miroslav
2024 - anglický
V této práci je uvedeno několik případových studií dynamických in-situ experimentů s využitím skenovací sondové mikroskopie. Nejprve je zkoumána elektrodepozice lithia v baterii s pevným elektrolytem bez kladné elektrody. Na tento experiment navazuje obdobné měření, při kterém jsou jako materiál kladné elektrody použity částice MXene. Druhá část práce se zabývá grafenem plovoucím na kapalném kovu. Je zde prezentováno zkoumání přítomnosti menisku okolo grafenových vloček. In this thesis, several case-studies of dynamic in-situ scanning probe microscopy experiments are presented. First, the electrodeposition of lithium in a solid state battery without a positive electrode is investigated. This experiment is followed by a similar measurement in which MXene particles are employed as a positive electrode material. The second part of the thesis deals with the graphene-on-liquid-metal system. An investigation into the presence of a meniscus surrounding the graphene flakes is presented.
Klíčová slova:
In-situ; Atomic force microscopy; Graphene; Solid state batteries; MXene; LiteScope; In-situ; Mikroskopie atomárních sil; Grafen; Baterie s pevným elektrolytem; MXene; LiteScope
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Dynamické in-situ experimenty s využitím sondové mikroskopie
V této práci je uvedeno několik případových studií dynamických in-situ experimentů s využitím skenovací sondové mikroskopie. Nejprve je zkoumána elektrodepozice lithia v baterii s pevným elektrolytem ...
Detekce zranitelností v kontejnerových obrazech
Findra, Michal; Malinka, Kamil; Pavela, Jiří
2024 - anglický
Práca sa zaoberá automatizovaným bezpečnostným rozborom kontajnerových obrazov v distribuovanom prostredí. Popísané sú aktuálne zraniteľnosti v týchto prostrediach a nástojenie, ktoré sa zaoberajú analýzou kontajnerových obraz, slúžiacich ako vzor na vytvorenie daného kontajneru. Popísané je získanie popisu prostredia, následného spracovania do formátu zmysluplného pre vyvíjaný nástroj Vulntron. Vulntron slúži na automatizáciu tohoto procesu, bezpečnostnú analýzu jednotlivých komponentov kontajnerového obrazu a následný report do vizuálnej aj technicky ďalej spracovateľnej podoby. Súčasťou implementácie bude aj praktické nasadenie nástroja do rôznych typov vývojového procesu vrámci firmy Red Hat. The work focuses on the problem of automated security analysis of container images in a distributed environment. It describes present vulnerabilities in these environments and tools that deal with the analysis of container images that serve as a template for deploying a specific container. The process involves acquiring an environment description and subsequently processing it into a format meaningful for Vulntron tool developed as part of this thesis. Vulntron automates this process, performs a security analysis of individual components of the container image, and generates a report in a visually and technically processable format. The thesis also includes practical integration in form of Vulntron deployment into various types of development processes within the Red Hat company.
Klíčová slova:
Vulntron; Container image; Container security; Security analysis; Grype; Syft; SBOM; Vulnerability detection; CI-CD; Vulntron; Kontajnerový obraz; Kontajnerová bezpečnosť; Bezpečnostná analýza; Grype; Syft; SBOM; Detekcia zraniteľností; CI-CD
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Detekce zranitelností v kontejnerových obrazech
Práca sa zaoberá automatizovaným bezpečnostným rozborom kontajnerových obrazov v distribuovanom prostredí. Popísané sú aktuálne zraniteľnosti v týchto prostrediach a nástojenie, ktoré sa zaoberajú ...
Detekce klíčových informací v hovorech na tísňové linky
Sarvaš, Marek; Plchot, Oldřich; Schwarz, Petr
2024 - anglický
Tiesňové volania sa zvyčajne uskutočňujú v extrémne stresujúcich podmienkach, kde volajúci často poskytuje dôležité informácie rýchlo, čo sťažuje operátorom tiesňovej linky presne zachytiť všetky podrobnosti. To môže viesť k opakovaným otázkam o už poskytnutých informáciách a oneskoreniu reakcie pohotovostnej služby. Cieľom tejto práce je zmierniť tento problém a potenciálne urýchliť reakciu pohotovostných služieb nasadením neurónovej siete na extrakciu informácií, konkrétne so zameraním na úlohu Rozpoznávania pomenovaných entít (NER). Táto práca skúma rôzne prístupy založené na architektúre typu Transformers, ako sú predtrénované enkodér modely, enkodér-dekodér (sequence-2-sequence) a veľké jazykové modely. Vybrané modely dosiahli zatiaľ najlepšie výsledky na verejne dostupných českých NER datasetoch. Okrem toho boli vytvorené nové NER datasety z poskytnutých nahrávok skutočných tiesňových volaní a odpovedajúcich metadát. Predstavené modely boli natrénované a vyhodnotené na týchto novovytvorených datasetoch a úspešne dosiahli rozumné výsledky pre extrakciu mien a polohy. Emergency calls are usually made under extremely stressful conditions, where callers often provide crucial information rapidly, making it difficult for emergency line agents to capture all details accurately. This can result in repeated questions about information that was already provided and cause delays in response times from emergency services. This work aims to mitigate this problem and potentially speed up the response of emergency services by deploying a neural network models for information extraction, specifically targeting the Named Entity Recognition (NER) task. This work explores various Transformer-based approaches for NER task, such as pre-trained encoder-only, encoder-decoder (sequence-2-sequence) and Large Language Models. The best models achieved state-of-the-art results on publicly available Czech NER datasets. In addition, new NER datasets were created from available recordings of real emergency calls and the corresponding metadata. The models were trained and evaluated on the created datasets successfully achieving reasonable performance in name and location extraction.
Klíčová slova:
natural language processing; Named Entity Recognition; emergency line calls; Large Language Models; spracovanie prirodzeného jazyka; rozpoznávanie menných entít; hovory tiesňovej linky; veľké jazykové modely
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Detekce klíčových informací v hovorech na tísňové linky
Tiesňové volania sa zvyčajne uskutočňujú v extrémne stresujúcich podmienkach, kde volajúci často poskytuje dôležité informácie rýchlo, čo sťažuje operátorom tiesňovej linky presne zachytiť všetky ...
Laser control of the metamagnetic phase transition in FeRh nanostructrures
Velič, Alexander; Dubroka, Adam; Arregi Uribeetxebarria, Jon Ander
2024 - anglický
Nedávno sa ukázalo, že rýchlosť zápisu informácií v magnetických médiách by sa mohla výrazne zvýšiť využitím ultrakrátkych laserových impulzov, ktoré umožňujú koherentné prepínanie magnetizácie v pikosekundovej časovej škále. Ekviatomická zliatina FeRh, ktorá sa vyznačuje fázovým prechodom prvého rádu medzi antiferomagnetickým (AF) a feromagnetickým (FM) rádom, predstavuje zaujímavý materiál na riadenie magnetického poriadku pomocou laserových impulzov. Ultrakrátke laserové impulzy však podporujú iba jednostranný prechod z AF na FM, zatiaľ čo spätný prechod z FM na AF si vyžaduje chladenie a nemožno ho dosiahnuť laserovým ožiarením v rýchlych časových intervaloch. Táto práca sa snaží preskúmať originálne spôsoby riadenia magnetického fázového prechodu v mezoštruktúrach FeRh využitím metastabilného charakteru podchladených FM stavov nachádzajúcich sa v tomto systéme. Polia submikrónových štruktúr FeRh sú vyrobené pomocou litografie a ich charakteristiky fázového prechodu boli skúmané pomocou mikroskopie magnetickej sily. Identifikujú sa podchladené stavy a ich vlastnosti, pričom sa hodnotí ich odozva na osvetlenie ultrarýchlymi laserovými pulzmi. Je vidieť, že impulzy s nízkym výkonom môžu priniesť podchladené FM štruktúry do základného stavu AF, zatiaľ čo impulzy s vysokým výkonom indukujú dopredný prechod AF-to-FM, čím sa nakoniec dosiahne svetlom indukovaná obojsmerná kontrola fázového prechodu vo FeRh. It has been recently shown that information writing speed in magnetic media could be greatly enhanced by utilizing ultrashort laser pulses, which enable coherent magnetization switching at the picosecond timescale. The equiatomic FeRh alloy, which features a first-order phase transition between antiferromagnetic (AF) and ferromagnetic (FM) order, constitute an interesting material for control of magnetic order using laser pulses. However, ultrashort laser pulses only promote the forward AF-to-FM transition, whereas the reverse FM-to-AF transition necessitates cooling and cannot be achieved via laser irradiation, at fast timescales. This work seeks to explore original ways of controlling the magnetic phase transition in FeRh mesostructures by exploiting the metastable character of supercooled FM states found in this system. Arrays of submicron FeRh structures were fabricated using lithography and their phase transition characteristics were investigated using magnetic force microscopy. Supercooled states and their properties were identified, with their response to illumination with ultrafast laser pulses being evaluated. It was seen that low power pulses can bring supercooled FM structures to the ground AF state, whereas high-power pulses induce the forward AF-to-FM transition, eventually achieving light-induced bidirectional control of the phase transition in FeRh.
Klíčová slova:
magnetic phase transition; FeRh; antiferromagnetism; ferromagnetism; mesostructures; laser-induced control; bidirectional; magnetická fázová premena; FeRh; antiferromagnetismus; ferromagnetismus; mesoštruktúry; leserom indukovaná kontrola; biderekcionálny
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Laser control of the metamagnetic phase transition in FeRh nanostructrures
Nedávno sa ukázalo, že rýchlosť zápisu informácií v magnetických médiách by sa mohla výrazne zvýšiť využitím ultrakrátkych laserových impulzov, ktoré umožňujú koherentné prepínanie magnetizácie v ...
Automatizace vyhledávání abnormalit z tomografických dat
Semerák, Petr; Zemek, Marek; Bazala, Jiří
2024 - anglický
Předložená diplomová práce se zabývá automatizací procesu skenování a vyhodnocování abnormalit gascoolerů, které vznikají při jejich výrobě. Nedestruktivní testování využívá technologii CT skenování jejímž výstupem jsou obrazová data. Cílem práce je nahradit zdlouhavý proces ručního procházení dat spolehlivou algoritmizovatelnou metodou a ověřit, zda je tento směr vývoje perspektivní. V teoretické části se práce zabývá chladícími systémy v automobilech, nedestruktivním testování s těžištěm v CT technologii a rešerší softwarů pro prohlížení a analýzu CT dat. Praktická část diplomové práce se zaměřuje na problematiku ucpaných kanálků gascoolerů. Jsou popsány příčiny vzniku této abnormality, dosavadní přístup k jejímu odhalení a nový automatický přístup kontroly. Navržený algoritmus spolu s aplikaci vytvořenou pomocí Matlabu jsou testovány na konkrétních datech. Spolehlivost výsledků je v závěru porovnávána ručním hodnocením CT snímků. Pro hodnocení kvality obrazových dat je trénována hluboká neuronová síť. The presented thesis concerns the automation of the process of scanning and evaluating abnormalities of gascoolers that occur during their production. Non-destructive testing employs CT scanning technology, which generates image data as an output. The objective of the work is to replace the time-consuming manual data scanning process with a reliable algorithmic method and to assess the potential of this direction of development. The theoretical part of the thesis deals with cooling systems in cars, non-destructive testing with a focus on CT technology and a search for software for viewing and analysing CT data. The practical part of the thesis focuses on the problem of clogged gascooler ducts. The causes of this abnormality, the current approach to its detection and a new automatic inspection approach are described. The proposed algorithm together with an application developed using Matlab are tested on concrete data. Finally, the reliability of the results is evaluated by manual inspection of the CT images. A deep neural network is trained to assess the quality of the image data.
Klíčová slova:
Gascooler; X-Ray micro computed tomography; CT; Image processing; Fourier transform; Gascooler; rentgenová počítačová tomografie; CT; zpracování obrazu; Fourierova transformace
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Automatizace vyhledávání abnormalit z tomografických dat
Předložená diplomová práce se zabývá automatizací procesu skenování a vyhodnocování abnormalit gascoolerů, které vznikají při jejich výrobě. Nedestruktivní testování využívá technologii CT skenování ...
Svolávací systém pro dobrovolný hasičský sbor
Čajka, Peter; Firc, Anton; Malinka, Kamil
2024 - anglický
Proces zhromažďovania dobrovoľných hasičov pri vzniknutej pohotovosti je častokrát neoptimálny. V kritických situáciach je každá sekunda dôležitá. Cieľom tejto diplomovej práce je vytvoriť mobilnú aplikáciu, ktorá zjednoduší dobrovoľným hasičom proces informovania o nežiaducej udalosti. Výsledný produkt bude mobilná aplikácia pre operačný systém Android, ktorá v prípade pohotovosti dokáže urýchlene rozoslať SMS správy všetkým členom v zbore a v zápätí obdržať ich odpoveď. The process of gathering volunteer firefighters in case of an emergency is often not optimal. In critical situations, every second counts. The goal of this thesis is to create a mobile application that simplifies the process of informing volunteer firefighters about an emergency event. The resulting product will be a mobile application for the Android operating system, capable of rapidly sending SMS messages to all members of the volunteer fire department in case of an emergency and subsequently receiving their responses.
Klíčová slova:
volunteer firefighters; mobile application; location tracking; SMS; Firebase; dobrovoľní hasiči; mobilná aplikácia; sledovanie polohy; SMS; Firebase
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Svolávací systém pro dobrovolný hasičský sbor
Proces zhromažďovania dobrovoľných hasičov pri vzniknutej pohotovosti je častokrát neoptimálny. V kritických situáciach je každá sekunda dôležitá. Cieľom tejto diplomovej práce je vytvoriť mobilnú ...
Privacy Preserving Smart-Contract Platforms and E-Voting
Žiška, Marek; Homoliak, Ivan; Perešíni, Martin
2024 - anglický
Táto práca analyzuje platformy na ochranu súkromia ako Secret, Phala a Oasis Network, ktoré poskytujú nástroje pre vývoj smart kontraktov s možnosťou privátneho úložiska a dôverných výpočtových schopností. Platformy porovnávame na základe ich vlastností, ako je výkon, použiteľnosť a ďalšie faktory v kontexte prípadu použitia v elektronickom hlasovaní. Najprv predstavíme teoretické základy v oblasti volebných systémov, blockchainové technológie, smart kontrakty, technológie dôverného výpočtu a v neposlednom rade jednotlivé platformy na ochranu súkromia. Na základe zistení navrhneme volebný proces nášho smart kontraktu elektronického hlasovania, ktorý budeme implementovať na všetkých platformách. Následne analyzujeme možnosti a schopnosti vývoja každej z platforiem, najmä pokiaľ ide o definíciu štruktúry úložiska. Okrem toho navrhneme aj scenár hodnotenia, ktorý budeme vykonávať na každom z vyvinutých smart kontraktov. Po návrhu kľúčových častí smart kontraktov prechádzame k implementácií, kde diskutujeme o našich skúsenostiach, o použitých nástrojoch, o spôsobe zbere a vyhodnotenia štatistík a o metódach testovania. V rámci tejto fázy sme taktiež vyvinuli aj skripty, ktoré zbierajú štatistiky z navrhnutého scenára hodnotenia elektronického volebného systému, ktoré použijeme na vyhodnotenie a porovnanie týchto platforiem. Na záver zhrnieme dosiahnuté výsledky, kľúčové poznatky, úvahy a potenciálne oblasti pre budúce zlepšenia. This work examines privacy-preserving platforms Secret, Phala, and Oasis Network, which provide frameworks for development of smart contracts with confidential storage and computation capabilities. We compare these platforms based on their features such as performance, usability, and additional factors within the context of an electronic voting use case. Firstly, we establish the theoretical foundations by introducing Voting Systems, then Blockchains, Smart Contracts, Trusted Computing, and Privacy-Preserving Platforms. We analyze the development capabilities, storage options, and other features of the selected platforms and propose the design of smart contracts for the e-voting application. Following this, we implement given smart contracts, detailing our experience, the tools used, testing procedures, contruct structure, and statistics collection methods. Proposed collected statistics allow us to estimate the vote-casting throughput of our implementations. Using this metric, along with other aspects, such as the development experience, storage options, community activity, documentation quality, we evaluate and compare these platforms. At the end we conclude the achieved results, key insights, reflections, and potentional areas for future improvements.
Klíčová slova:
blockchain; cryptography; smart-contracts; security; e-voting; Secret; Oasis; Phala; Web3; Solidity; Rust; performance analysis; gas usage; blockchain; kryptografia; smart-contract; bezpečnosť; elektronické hlasovanie; Secret; Oasis; Web3; Solidity; Rust; analýza výkonnosti; spotreba gasu
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Privacy Preserving Smart-Contract Platforms and E-Voting
Táto práca analyzuje platformy na ochranu súkromia ako Secret, Phala a Oasis Network, ktoré poskytujú nástroje pre vývoj smart kontraktov s možnosťou privátneho úložiska a dôverných výpočtových ...
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze