English
Related papers

Related papers: A Comprehensive Evaluation of Android ICC Resoluti…

200 papers

Many important security problems in JavaScript, such as browser extension security, untrusted JavaScript libraries and safe integration of mutually distrustful websites (mash-ups), may be effectively addressed using an efficient…

Programming Languages · Computer Science 2015-01-20 Stefan Heule , Deian Stefan , Edward Z. Yang , John C. Mitchell , Alejandro Russo

Context: Visual aesthetics is increasingly seen as an essential factor in perceived usability, interaction, and overall appraisal of user interfaces especially with respect to mobile applications. Yet, a question that remains is how to…

Software Engineering · Computer Science 2018-12-24 Christiane G. von Wangenheim , João V. Araujo Porto , Jean C. R. Hauck , Adriano F. Borgatto

Many widely used Internet messaging and calling apps, such as WhatsApp, Viber, Telegram, and Signal, have deployed an end-to-end encryption functionality. To defeat potential MITM attackers against the key exchange protocol, the approach…

Cryptography and Security · Computer Science 2017-07-18 Maliheh Shirvanian , Nitesh Saxena , Jesvin James George

We propose a novel flexible and scalable framework to design integrated communication and computing (ICC) -- a.k.a. over-the-air computing (AirComp)-- receivers. To elaborate, while related literature so far has generally focused either on…

Signal Processing · Electrical Eng. & Systems 2024-11-12 Kuranage Roche Rayan Ranasinghe , Kengo Ando , Giuseppe Thadeu Freitas de Abreu

Mobile agents can autonomously complete user-assigned tasks through GUI interactions. However, existing mainstream evaluation benchmarks, such as AndroidWorld, operate by connecting to a system-level Android emulator and provide evaluation…

Artificial Intelligence · Computer Science 2026-04-14 Yunfei Feng , Xi Zhao , Cheng Zhang , Dahu Feng , Daolin Cheng , Jianqi Yu , Yubin Xia , Erhu Feng

Understanding the internal circuits that language models use to solve tasks remains a central challenge in mechanistic interpretability. A crucial part of finding circuits is understanding why each attention head attends where it does. To…

Machine Learning · Computer Science 2026-05-15 Gabriel Franco , Lucas M. Tassis , Azalea Rohr , Mark Crovella

Many developers and organizations implement apps for Android, the most widely used operating system for mobile devices. Common problems developers face are the various hardware devices, customized Android variants, and frequent updates,…

Software Engineering · Computer Science 2021-03-18 Sebastian Nielebock , Paul Blockhaus , Jacob Krüger , Frank Ortmeier

This paper proposes a novel method for automatically inferring message flow specifications from the communication traces of a system-on-chip (SoC) design that captures messages exchanged among the components during a system execution. The…

Logic in Computer Science · Computer Science 2024-05-22 Bardia Nadimi , Hao Zheng

The proliferation of mobile applications (apps) has made it crucial to ensure their accessibility for users with disabilities. However, there is a lack of research on the real-world challenges developers face in implementing mobile…

Software Engineering · Computer Science 2024-09-17 Amila Indika , Christopher Lee , Haochen Wang , Justin Lisoway , Anthony Peruma , Rick Kazman

Android is among the popular platforms running on millions of smart devices, like smartphones and tablets, whose widespread adoption is seen as an opportunity for spreading malware. Adding malicious payloads to cracked applications, often…

Cryptography and Security · Computer Science 2019-03-13 Konstantinos-Panagiotis Grammatikakis , Angela Ioannou , Stavros Shiaeles , Nicholas Kolokotronis

Internet of Things (IoT) devices are becoming increasingly important. These devices are often resource-limited, hindering rigorous enforcement of security policies. Assessing the vulnerability of IoT devices is an important problem, but…

Cryptography and Security · Computer Science 2019-01-30 Davino Mauro Junior , Luis Melo , Harvey Lu , Marcelo d'Amorim , Atul Prakash

Validating the correctness of network protocol implementations is highly challenging due to the oracle and traceability problems. The former determines when a protocol implementation can be considered buggy, especially when the bugs do not…

Software Engineering · Computer Science 2025-04-28 Mingwei Zheng , Danning Xie , Qingkai Shi , Chengpeng Wang , Xiangyu Zhang

Near Field Communication (NFC) has enabled mobile phones to emulate contactless smart cards. Similar to contactless smart cards, they are also susceptible to relay attacks. To counter these, a number of methods have been proposed that rely…

Cryptography and Security · Computer Science 2016-02-22 Raja Naeem Akram , Iakovos Gurulian , Carlton Shepherd , Konstantinos Markantonakis , Keith Mayes

This work investigates a practical reconfigurable intelligent surface (RIS)-aided integrated sensing and communication (ISAC) system, where a subset of RIS elements fail to function properly and reflect incident signals randomly towards…

Signal Processing · Electrical Eng. & Systems 2025-11-03 Lu Wang , Gui Zhou , Changheng Li , Luis F. Abanto-Leon , Nairy Moghadas Gholian , Matthias Hollick , Arash Asadi

Despite its widespread use in Android apps, reflection poses graving problems for static security analysis. Currently, string inference is applied to handle reflection, resulting in significantly missed security vulnerabilities. In this…

Cryptography and Security · Computer Science 2016-12-19 Yifei Zhang , Tian Tan , Yue Li , Jingling Xue

In recent years, various benchmark suites have been developed to evaluate the efficacy of Android security analysis tools. The choice of such benchmark suites used in tool evaluations is often based on the availability and popularity of…

Software Engineering · Computer Science 2020-02-05 Joydeep Mitra , Venkatesh-Prasad Ranganath , Aditya Narkar

The study aimed to develop an Android-Based Class Attendance Monitoring Application using Face Recognition to make attendance checking and monitoring easier and faster. The researcher used incremental model as the software development…

Computers and Society · Computer Science 2020-12-04 Djoanna Marie V. Salac

This work explores an unexpected application of Implicit Computational Complexity (ICC) to parallelize loops in imperative programs. Thanks to a lightweight dependency analysis, our algorithm allows splitting a loop into multiple loops that…

Programming Languages · Computer Science 2022-06-20 Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller

Recently, there has been a growing interest in developing AI-enabled chatbot-based symptom checker (CSC) apps in the healthcare market. CSC apps provide potential diagnoses for users and assist them with self-triaging based on Artificial…

Human-Computer Interaction · Computer Science 2021-01-14 Yue You , Xinning Gui

Android has been the most popular smartphone system, with multiple platform versions (e.g., KITKAT and Lollipop) active in the market. To manage the application's compatibility with one or more platform versions, Android allows apps to…

Software Engineering · Computer Science 2017-03-20 Daoyuan Wu , Ximing Liu , Jiayun Xu , David Lo , Debin Gao
‹ Prev 1 3 4 5 6 7 10 Next ›