6 citations · 14 across the 7 of their papers we have counts for
8 papers
Smart Contracts Claimed Vulnerable by the CVE Database, with Labels and Source Locations
Monika di Angelo, Gernot Salzer
The Common Vulnerabilities and Exposures (CVE) database catalogs vulnerability claims in hard- and software, among them those pertaining to blockchain programs a.k.a. smart contrac…
Testing for Renamability to Classes of Clause Sets
Albert Brandl, Christian G. Fermüller, Gernot Salzer
This paper investigates the problem of testing clause sets for membership in classes known from literature. In particular, we are interested in classes defined via renaming: Is it…
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
Monika di Angelo, Thomas Durieux, João F. Ferreira +1
Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financi…
Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts
Monika di Angelo, Gernot Salzer
Smart contracts are small programs on the blockchain that often handle valuable assets. Vulnerabilities in smart contracts can be costly, as time has shown over and over again. Cou…
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study
Monika di Angelo, Thomas Durieux, João F. Ferreira +1
Blockchain programs (also known as smart contracts) manage valuable assets like cryptocurrencies and tokens, and implement protocols in domains like decentralized finance (DeFi) an…
Wallet Contracts on Ethereum -- Identification, Types, Usage, and Profiles
Monika di Angelo, Gernot Salzer
In the area of blockchains, a wallet is anything that manages the access to cryptocurrencies and tokens. Off-chain wallets appear in different forms, from paper wallets to hardware…
Dermtrainer: A Decision Support System for Dermatological Diseases
Gernot Salzer, Agata Ciabattoni, Christian Fermüller +6
Dermtrainer is a medical decision support system that assists general practitioners in diagnosing skin diseases and serves as a training platform for dermatologists. Its key compon…
Minimal Distance of Propositional Models
Mike Behrisch, Miki Hermann, Stefan Mengel +1
We investigate the complexity of three optimization problems in Boolean propositional logic related to information theory: Given a conjunctive formula over a set of relations, find…