paper-conference

A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
Generative Sequence-To-Sequence models have been proposed for the task of generating well-formed programs, an important task for fuzz …
PDF
EcoAndroid: An Android Studio Plugin for Developing Energy-efficient Java Mobile Applications
Mobile devices have become indispensable in our daily life and reducing the energy consumed by them has become essential. However, …
PDF
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard …
PDF
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
Vulnerability detection and repair is a demanding and expensive part of the software development process. As such, there …
PDF
Towards Improving the Usability of Password Managers
Security experts strongly recommend the use of Password Managers (PMs). However, PMs are not widely used and studies indicate …
PDF