Monika Di Angelo

Orcid: 0000-0002-4217-4530

According to our database1, Monika Di Angelo authored at least 26 papers between 2013 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study.
Empir. Softw. Eng., April, 2024

Bytecode Skeletons for Sample Selection in the Analysis of Blockchain Programs.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

Systematic Study of Compilers and Vulnerability Scanners Using the Example of Integer Bugs.
Proceedings of the IEEE International Conference on Blockchain, 2024

2023
Identification of token contracts on Ethereum: standard compliance and beyond.
Int. J. Data Sci. Anal., September, 2023

SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Comparison of Smart Contract Platforms from the Perspective of Developers.
Proceedings of the Blockchain - ICBC 2023, 2023

Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts.
Proceedings of the Financial Cryptography and Data Security. FC 2023 International Workshops, 2023

2022
Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum.
Frontiers Blockchain, July, 2022

2021
Towards the Identification of Security Tokens on Ethereum.
Proceedings of the 11th IFIP International Conference on New Technologies, 2021

Empirical Evaluation of MakerDAO's Resilience.
Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021

2020
Assessing the Similarity of Smart Contracts by Clustering their Interfaces.
Proceedings of the 19th IEEE International Conference on Trust, 2020

Wallet Contracts on Ethereum.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

Characterizing Types of Smart Contracts in the Ethereum Landscape.
Proceedings of the Financial Cryptography and Data Security, 2020

Tokens, Types, and Standards: Identification and Utilization in Ethereum.
Proceedings of the 2nd IEEE International Conference on Decentralized Applications and Infrastructures, 2020

Characteristics of Wallet Contracts on Ethereum.
Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020

Functional Differences of Neo and Ethereum as Smart Contract Platforms.
Proceedings of the Blockchain and Applications - 2nd International Congress, 2020

2019
Smart contracts in view of the civil code.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Collateral Use of Deployment Code for Smart Contracts in Ethereum.
Proceedings of the 10th IFIP International Conference on New Technologies, 2019

SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course.
Proceedings of the Financial Cryptography and Data Security, 2019

A Survey of Tools for Analyzing Ethereum Smart Contracts.
Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2019

Performance and Scalability of Private Ethereum Blockchains.
Proceedings of the Business Process Management: Blockchain and Central and Eastern Europe Forum, 2019

2016
Modeling and Simulation of Pedestrian Behaviour - As Planning Support for Building Design.
Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, 2016

2015
Rapid prototyping for kinetic architecture.
Proceedings of the 7th International Conference on Cybernetics and Intelligent Systems, 2015

Medieval craftsmen at castle Waldenfels historical construction work as serious game.
Proceedings of the 2nd Digital Heritage International Congress, 2015

2014
Competence Orientation in Vocational Schools - The Case of Industrial Information Technology in Austria.
Proceedings of the Informatics in Schools. Teaching and Learning Perspectives, 2014

2013
Parametric Balinese rumah: Procedural modeling of traditional Balinese architecture.
Proceedings of the 1st Digital Heritage International Congress, 2013


  Loading...