English
Related papers

Related papers: FibRace: a large-scale benchmark of client-side pr…

200 papers

Data races are critical issues in multithreaded program, leading to unpredictable, catastrophic and difficult-to-diagnose problems. Despite the extensive in-house testing, data races often escape to deployed software and manifest in…

Software Engineering · Computer Science 2024-12-20 Xudong Sun , Zhuo Chen , Jingyang Shi , Yiyu Zhang , Peng Di , Jianhua Zhao , Xuandong Li , Zhiqiang Zuo

To ensure app compatibility and smoothness of user experience across diverse devices and platforms, developers have to perform cross-device, cross-platform testing of their apps, which is laborious. There comes a recently increasing trend…

Software Engineering · Computer Science 2023-05-25 Mulong Xie , Jiaming Ye , Zhenchang Xing , Lei Ma

Smartphones' cameras, microphones, and device displays enable users to capture and view memorable moments of their lives. However, adversaries can trick users into authorizing malicious apps that exploit weaknesses in current mobile…

Operating Systems · Computer Science 2016-04-11 Giuseppe Petracca , Ahmad Atamli , Yuqiong Sun , Jens Grossklags , Trent Jaeger

In its current state, the Internet does not provide end users with transparency and control regarding on-path forwarding devices. In particular, the lack of network device information reduces the trustworthiness of the forwarding path and…

Networking and Internet Architecture · Computer Science 2023-10-12 Cyrill Krähenbühl , Marc Wyss , David Basin , Vincent Lenders , Adrian Perrig , Martin Strohmeier

Data race, a category of insidious software concurrency bugs, is often challenging and resource-intensive to detect and debug. Existing dynamic race detection tools incur significant execution time and memory overhead while exhibiting high…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-01 Jaidev Shastri , Xiaoguang Wang , Basavesh Ammanaghatta Shivakumar , Freek Verbeek , Binoy Ravindran

In this paper, we propose FairCrowd, a private, fair, and verifiable framework for aggregate statistics in mobile crowdsensing based on the public blockchain. In specific, mobile users are incentivized to collect and share private data…

Cryptography and Security · Computer Science 2020-07-21 Miao He , Jianbing Ni , Dongxiao Liu , Haomiao Yang , Xuemin , Shen

The widespread utilization of smartphones has provided extensive availability to Inertial Measurement Units, providing a wide range of sensory data that can be advantageous for the detection of transportation modes. The objective of this…

Machine Learning · Computer Science 2023-10-18 Qinrui Tang , Hao Cheng

We present MobileGym, a browser-hosted, lightweight, fully controllable environment for everyday mobile use, targeting interaction fidelity without replicating proprietary backends. It enables two capabilities previously out of reach for…

Artificial Intelligence · Computer Science 2026-05-28 Dingbang Wu , Rui Hao , Haiyang Wang , Shuzhe Wu , Han Xiao , Zhenghong Li , Bojiang Zhou , Zheng Ju , Zichen Liu , Lue Fan , Zhaoxiang Zhang

Raziel combines secure multi-party computation and proof-carrying code to provide privacy, correctness and verifiability guarantees for smart contracts on blockchains. Effectively solving DAO and Gyges attacks, this paper describes an…

Cryptography and Security · Computer Science 2020-02-17 David Cerezo Sánchez

Mobile crowdsensing allows data collection at a scale and pace that was once impossible. One of the biggest challenges in mobile crowdsensing is that participants may exhibit malicious or unreliable behavior. Therefore, it becomes…

Networking and Internet Architecture · Computer Science 2018-05-01 Francesco Restuccia , Pierluca Ferraro , Timothy S. Sanders , Simone Silvestri , Sajal K. Das , Giuseppe Lo Re

We introduce Blockene, a blockchain that reduces resource usage at member nodes by orders of magnitude, requiring only a smartphone to participate in block validation and consensus. Despite being lightweight, Blockene provides a high…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-15 Sambhav Satija , Apurv Mehra , Sudheesh Singanamalla , Karan Grover , Muthian Sivathanu , Nishanth Chandran , Divya Gupta , Satya Lokam

Mobile apps are indispensable for people's daily life, and automated GUI (Graphical User Interface) testing is widely used for app quality assurance. There is a growing interest in using learning-based techniques for automated GUI testing…

Software Engineering · Computer Science 2023-05-17 Zhe Liu , Chunyang Chen , Junjie Wang , Mengzhuo Chen , Boyu Wu , Xing Che , Dandan Wang , Qing Wang

In Android, communications between apps and system services are supported by a transaction-based Inter-Process Communication (IPC) mechanism. Binder, as the cornerstone of this IPC mechanism, separates two communicating parties as client…

Cryptography and Security · Computer Science 2016-04-26 Huan Feng , Kang G. Shin

Despite our growing reliance on mobile phones for a wide range of daily tasks, their operation remains largely opaque. A number of previous studies have addressed elements of this problem in a partial fashion, trading off analytic…

Networking and Internet Architecture · Computer Science 2016-11-01 Abbas Razaghpanah , Narseo Vallina-Rodriguez , Srikanth Sundaresan , Christian Kreibich , Phillipa Gill , Mark Allman , Vern Paxson

Mobile acceptance testing remains a bottleneck in modern software development, particularly for cross-platform mobile development using frameworks like Flutter. While developers increasingly rely on automated testing tools, creating and…

Software Engineering · Computer Science 2026-03-04 Pedro Luís Fonseca , Bruno Lima , João Pascoal Faria

With product customization an emerging business opportunity, organizations must find ways to collaborate and enable sharing of information in an inherently trustless network. In this paper, we propose - "FabRec": a decentralized approach to…

Computers and Society · Computer Science 2018-04-04 Atin Angrish , Benjamin Craver , Mahmud Hasan , Binil Starly

Hardware-firmware integration is becoming a productivity bottleneck due to the increasing complexity of accelerators, characterized by intricate memory hierarchies and firmware-intensive execution. While numerous verification techniques…

Hardware Architecture · Computer Science 2026-04-14 G Abarajithan , Zhenghua Ma , Francesco Restuccia , Ryan Kastner

As the demand for mobile connectivity continues to grow, there is a strong need to evaluate the performance of Mobile Broadband (MBB) networks. In the last years, mobile "speed", quantified most commonly by data rate, gained popularity as…

Networking and Internet Architecture · Computer Science 2018-01-31 Cise Midoglu , Leonhard Wimmer , Andra Lutu , Ozgu Alay , Carsten Griwodz

Enabling fully automated testing of mobile applications has recently become an important topic of study for both researchers and practitioners. A plethora of tools and approaches have been proposed to aid mobile developers both by…

Software Engineering · Computer Science 2018-01-22 Mario Linares Vasquez , Carlos Bernal-Cardenas , Kevin Moran , Denys Poshyvanyk

Smartphone-based heart rate (HR) monitoring apps using finger-over-camera photoplethysmography (PPG) face significant challenges in performance evaluation and device compatibility due to device variability and fragmentation. Manual testing…

Computer Vision and Pattern Recognition · Computer Science 2025-07-01 Ming-Zher Poh , Jonathan Wang , Jonathan Hsu , Lawrence Cai , Eric Teasley , James A. Taylor , Jameson K. Rogers , Anupam Pathak , Shwetak Patel