5 papers
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…
Challenges of Multilingual Program Specification and Analysis
Carlo A. Furia, Abhishek Tiwari
Multilingual programs, whose implementations are made of different languages, are gaining traction especially in domains, such as web programming, that particularly benefit from th…
Unifying Pointer Analyses for Polyglot Inter-operations through Summary Specialization
Jyoti Prakash, Abhishek Tiwari, Christian Hammer
Modular analysis of polyglot applications is challenging because heap object flows across language boundaries must be resolved. The state-of-the-art analyses for polyglot applicati…
Our fingerprints don't fade from the Apps we touch: Fingerprinting the Android WebView
Abhishek Tiwari, Jyoti Prakash, Alimerdan Rahimov +1
Numerous studies demonstrated that browser fingerprinting is detrimental to users' security and privacy. However, little is known about the effects of browser fingerprinting on And…