2 papers
cs.DC2026
Generalizing and accelerating consistency checking for non-transactional distributed storage systems
Kotikala Raghav, Aman Hassan, Brian Sajeev Kattikat +3
Linearizability checkers check if an operation history, observed by concurrent clients, is linearizable. They are used in testing distributed storage systems, and use the classic W…
cs.CR2025
WhiteLie: A Robust System for Spoofing User Data in Android Platforms
Harish Yadav, Vikas Maurya, Abhilash Jindal +1
Android employs a permission framework that empowers users to either accept or deny sharing their private data (for example, location) with an app. However, many apps tend to crash…