paper-conference

How are Contracts Used in Android Mobile Applications?
Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and …
PDF
Leveraging Large Language Models to Boost Dafny's Developers Productivity
This research idea paper proposes leveraging Large Language Models (LLMs) to enhance the productivity of Dafny developers. Although the …
PDF
Patient-centric health data sovereignty: an approach using proxy re-encryption
The exponential growth in the digitisation of services implies the handling and storage of large volumes of data. Businesses and …
PDF DOI
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
This paper presents GLITCH, a new technology-agnostic framework that enables automated polyglot code smell detection for Infrastructure …
PDF Code
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any …
PDF Code