4 papers
A Measurement Study on the Adoption of Pledges and Unveils in the OpenBSD Operating System
Jukka Ruohonen, Krzysztof Sierszecki, Abhishek Tiwari
The paper presents a longitudinal measurement study on the adoption of the pledge and unveil system calls in OpenBSD. These system calls are used to sandbox programs and libraries.…
Empirical Derivations from an Evolving Test Suite
Jukka Ruohonen, Abhishek Tiwari
The paper presents a longitudinal empirical analysis of the automated, continuous, and virtualization-based software test suite of the NetBSD operating system. The longitudinal per…
Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
Qusai Ramadan, Jukka Ruohonen, Abhishek Tiwari +2
Decisions suggested by improperly designed software systems might be prone to discriminate against people based on protected characteristics, such as gender and ethnicity. Previous…
Vulnerability Patching Across Software Products and Software Components: A Case Study of Red Hat's Product Portfolio
Jukka Ruohonen, Sani Abdullahi, Abhishek Tiwari
Motivated by software maintenance and the more recent concept of security debt, the paper presents a time series analysis of vulnerability patching of Red Hat's products and compon…