Name Card

Full name Familienname, Vorname
di Angelo, Monika
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 46 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1di Angelo, Monika ; Salzer, Gernot Consolidation of Ground Truth Sets for Weakness Detection in Smart ContractsInproceedings Konferenzbeitrag 5-Dec-2023
2Monika di Angelo ; Durieux, Thomas ; Ferreira João F. ; Gernot Salzer SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart ContractsInproceedings Konferenzbeitrag 8-Nov-2023
3Voloder, Ammar ; di Angelo, Monika Comparison of Smart Contract Platforms from the Perspective of DevelopersInproceedings Konferenzbeitrag 2023
4Rameder, Heidelinde ; di Angelo, Monika ; Salzer, Gernot Review of Automated Vulnerability Analysis of Smart Contracts on EthereumArtikel Article 2022
5Di Angelo-2021-International Journal of Data Science and Analytics-vor.pdf.jpgDi Angelo, Monika ; Salzer, Gernot Identification of token contracts on Ethereum: standard compliance and beyondArtikel Article 3-Sep-2021
6Di Angelo, Monika ; Salzer, Gernot Towards the Identification of Security Tokens on EthereumKonferenzbeitrag Inproceedings 2021
7Kjäer, Martin ; Di Angelo, Monika ; Salzer, Gernot Empirical Evaluation of MakerDAO's ResilienceKonferenzbeitrag Inproceedings 2021
8di Angelo, Monika ; Sack, Christian ; Salzer, Gernot SoK: Development of Secure Smart Contracts – Lessons from a Graduate CourseKonferenzbeitrag Inproceedings 2020
9di Angelo, Monika ; Salzer, Gernot Characterizing Types of Smart Contracts in the Ethereum LandscapeKonferenzbeitrag Inproceedings 2020
10di Angelo, Monika ; Salzer, Gernot Assessing the Similarity of Smart Contracts by Clustering their InterfacesKonferenzbeitrag Inproceedings 2020
11di Angelo, Monika ; Salzer, Gernot Tokens, Types, and Standards: Identification and Utilization in EthereumKonferenzbeitrag Inproceedings 2020
12Bareis, Marco ; di Angelo, Monika ; Salzer, Gernot Functional Differences of Neo and Ethereum as Smart Contract PlatformsKonferenzbeitrag Inproceedings 2020
13di Angelo, Monika ; Salzer, Gernot Characteristics of Wallet Contracts on EthereumKonferenzbeitrag Inproceedings 2020
14Di Angelo, Monika ; Salzer, Gernot Wallet Contracts on EthereumKonferenzbeitrag Inproceedings 2020
15di Angelo, Monika ; Salzer, Gernot A Survey of Tools for Analyzing Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2019
16Schäffer, Markus ; di Angelo, Monika ; Salzer, Gernot Performance and Scalability of Private Ethereum BlockchainsKonferenzbeitrag Inproceedings 2019
17di Angelo, Monika ; Salzer, Gernot Mayflies, Breeders, and Busy Bees in EthereumKonferenzbeitrag Inproceedings 2019
18di Angelo, Monika ; Salzer, Gernot Collateral Use of Deployment Code for Smart Contracts in EthereumKonferenzbeitrag Inproceedings 2019
19di Angelo, Monika ; Soare, Alfred ; Salzer, Gernot Smart contracts in view of the civil codeKonferenzbeitrag Inproceedings 2019
20Ferschin, Peter ; Di Angelo, Monika ; Paskaleva, Galina Parametric Balinese rumah: Procedural modeling of traditional Balinese architectureArtikel Article 20-Feb-2017

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 74 (Search time: 0.02 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Loz David - 2023 - Identifying Semantic Properties in the Bytecode of Smart...pdf.jpgLoz, David Identifying semantic properties in the bytecode of smart contracts using symbolic executionThesis Hochschulschrift 2023
2Voloder Ammar - 2023 - Comparison of Smart Contract Platforms for Decentralized...pdf.jpgVoloder, Ammar Comparison of smart contract platforms for decentralized applications developmentThesis Hochschulschrift 2023
3Koesslbacher Lukas - 2023 - Automated Exploit Generation for Ethereum Smart...pdf.jpgKösslbacher, Lukas Automated exploit generation for ethereum smart contractsThesis Hochschulschrift 2023
4Sack Christian - 2023 - Erkennung von Mustern in EVM-Bytecode durch...pdf.jpgSack, Christian Erkennung von Mustern in EVM-Bytecode durch XQuery-Abfragen auf Ausführungspfaden im KontrollflussgraphenThesis Hochschulschrift 2023
5Brayer, Michael Techniques for Bytecode Analysis of Smart ContractsThesis Hochschulschrift2022
6Yuecel Tan - 2022 - Identifying related smart contracts by their bytecode.pdf.jpgYücel, Tan Identifying related smart contracts by their bytecodeThesis Hochschulschrift 2022
7Gorgoris Philippos - 2021 - Identifying administrators of smart contracts from...pdf.jpgGorgoris, Philippos Identifying administrators of smart contracts from transaction dataThesis Hochschulschrift 2021
8Nagelhofer Christoph - 2021 - Game-based Learning im mathematischen Kontext.pdf.jpgNagelhofer, Christoph Game-based Learning im mathematischen KontextThesis Hochschulschrift 2021
9Kjaeer Martin - 2021 - Quantitative analysis of makerDAOs liquidation system.pdf.jpgKjäer, Martin Quantitative analysis of makerDAO’s liquidation systemThesis Hochschulschrift 2021
10Rameder Heidelinde - 2021 - Systematic review of ethereum smart contract...pdf.jpgRameder, Heidelinde Systematic review of ethereum smart contract security vulnerabilities, analysis methods and toolsThesis Hochschulschrift 2021
11Fichtinger Patrick - 2021 - Evaluation of platforms for distributed ledger based...pdf.jpgFichtinger, Patrick Evaluation of platforms for distributed ledger based trade financeThesis Hochschulschrift 2021
12Rizvanovic Aldin - 2020 - Language properties for smart contracts.pdf.jpgRizvanović, Aldin Language properties for smart contractsThesis Hochschulschrift 2020
13Kurzmann Martin - 2020 - Decompilation of EVM bytecode.pdf.jpgKurzmann, Martin Decompilation of EVM bytecodeThesis Hochschulschrift 2020
14Wolf Mathias - 2020 - Privacy enhancing technologies for distributed ledgers.pdf.jpgWolf, Mathias Privacy enhancing technologies for distributed ledgersThesis Hochschulschrift 2020
15Davidovski Milosh - 2020 - Clustering of ethereum smart contracts using the...pdf.jpgDavidovski, Milosh Clustering of ethereum smart contracts using the graph database Neo4jThesis Hochschulschrift 2020
16Mayer Michael - 2020 - Analysis of consensus mechanisms of smart contract...pdf.jpgMayer, Michael Analysis of consensus mechanisms of smart contract platformsThesis Hochschulschrift 2020
17Hetzenecker Lukas - 2020 - Smart contracts in a DAG ledger Blockchain 50.pdf.jpgHetzenecker, Lukas Smart contracts in a DAG ledger : Blockchain 5.0Thesis Hochschulschrift 2020
18Bareis Marco - 2019 - Comparison of ethereum and NEO as smart contract platforms.pdf.jpgBareis, Marco Comparison of ethereum and NEO as smart contract platformsThesis Hochschulschrift 2019
19Schaeffer Markus - 2019 - Performance and scalability of smart contracts in...pdf.jpgSchäffer, Markus Performance and scalability of smart contracts in private ethereum blockchainsThesis Hochschulschrift 2019
20Kreutzer Hans Juergen - 2015 - Evaluierung von Chancen und Herausforderungen des...pdf.jpgKreutzer, Hans Jürgen Evaluierung von Chancen und Herausforderungen des Einsatzes von Social Web Software in der Aus- und WeiterbildungThesis Hochschulschrift 2015