English
Related papers

Related papers: Checking Interaction-Based Declassification Polici…

200 papers

Large Language Models (LLMs) are increasingly deployed as agents that orchestrate tasks and integrate external tools to execute complex workflows. We demonstrate that these interactive behaviors leave distinctive fingerprints in encrypted…

Cryptography and Security · Computer Science 2025-10-09 Yixiang Zhang , Xinhao Deng , Zhongyi Gu , Yihao Chen , Ke Xu , Qi Li , Jianping Wu

While smartphone usage become more and more pervasive, people start also asking to which extent such devices can be maliciously exploited as "tracking devices". The concern is not only related to an adversary taking physical or remote…

Cryptography and Security · Computer Science 2014-07-30 Mauro Conti , Luigi V. Mancini , Riccardo Spolaor , Nino V. Verde

Contact tracing is a very powerful method to implement and enforce social distancing to avoid spreading of infectious diseases. The traditional approach of contact tracing is time consuming, manpower intensive, dangerous and prone to error…

Machine Learning · Computer Science 2020-04-29 Manish Shukla , Rajan M A , Sachin Lodha , Gautam Shroff , Ramesh Raskar

Differential privacy is a de facto standard in data privacy with applications in the private and public sectors. Most of the techniques that achieve differential privacy are based on a judicious use of randomness. However, reasoning about…

Programming Languages · Computer Science 2020-07-29 Gian Pietro Farina , Stephen Chong , Marco Gaboardi

Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence…

Software Engineering · Computer Science 2018-05-03 Roberto Baldoni , Emilio Coppa , Daniele Cono D'Elia , Camil Demetrescu , Irene Finocchi

Modern operating systems such as Android, iOS, Windows Phone, and Chrome OS support a cooperating program abstraction. Instead of placing all functionality into a single program, programs cooperate to complete tasks requested by users.…

Cryptography and Security · Computer Science 2018-08-17 Giuseppe Petracca , Jens Grossklags , Patrick McDaniel , Trent Jaeger

Privacy labels -- standardized, compact representations of data collection and data use practices -- are often presented as a solution to the shortcomings of privacy policies. Apple introduced mandatory privacy labels for apps in its App…

Human-Computer Interaction · Computer Science 2024-01-09 Yanzi Lin , Jaideep Juneja , Eleanor Birrell , Lorrie Faith Cranor

Today's mobile devices sense, collect, and store huge amounts of personal information, which users share with family and friends through a wide range of applications. Once users give applications access to their data, they must implicitly…

Today, much of our sensitive information is stored inside mobile applications (apps), such as the browsing histories and chatting logs. To safeguard these privacy files, modern mobile systems, notably Android and iOS, use sandboxes to…

Cryptography and Security · Computer Science 2017-02-10 Daoyuan Wu , Rocky K. C. Chang

Many Android applications collect data from users. When they do, they must protect this collected data according to the current legal frameworks. Such data protection has become even more important since the European Union rolled out the…

Software Engineering · Computer Science 2023-03-20 Mugdha Khedkar

Privacy policies are intended to inform users about how software systems collect and handle data, yet they often remain vague or incomplete. This paper presents an empirical study of patterns in log-related statements within privacy…

Cryptography and Security · Computer Science 2026-05-04 Zhiyuan Chen , Love Jayesh Ahir , Ahmad Suleiman , Kundi Yao , Yiming Tang , Weiyi Shang , Daqing Hou

Android devices are equipped with many pre-installed applications which have the capability of tracking and monitoring users. Although applications coming pre-installed pose a great danger to user security and privacy, they have received…

Cryptography and Security · Computer Science 2023-01-31 Abdullah Ozbay , Kemal Bicakci

Mobile location-based services (LBSs) empowered by mobile crowdsourcing provide users with context-aware intelligent services based on user locations. As smartphones are capable of collecting and disseminating massive user location-embedded…

Networking and Internet Architecture · Computer Science 2018-08-06 Fang-Jing Wu , Matthias R. Brust , Yan-Ann Chen , Tie Luo

Mobile devices have access to personal, potentially sensitive data, and there is a large number of mobile applications and third-party libraries that transmit this information over the network to remote servers (including app developer…

Cryptography and Security · Computer Science 2022-06-07 Evita Bakopoulou , Anastasia Shuba , Athina Markopoulou

Android Notifications can be considered as essential parts in Human-Smartphone interaction and inextricable modules of modern mobile applications that can facilitate User Interaction and improve User Experience. This paper presents how this…

Cryptography and Security · Computer Science 2018-01-26 Constantinos Patsakis , Efthimios Alepis

Understanding human behavior is an important task and has applications in many domains such as targeted advertisement, health analytics, security, and entertainment, etc. For this purpose, designing a system for activity recognition (AR) is…

Machine Learning · Computer Science 2022-08-10 Sarwan Ali

System Instructions in Large Language Models (LLMs) are commonly used to enforce safety policies, define agent behavior, and protect sensitive operational context in agentic AI applications. These instructions may contain sensitive…

Cryptography and Security · Computer Science 2026-04-02 Anubhab Sahu , Diptisha Samanta , Reza Soosahabi

With the expansion of the market share occupied by the Android platform, security issues (especially application security) have become attention focus of researchers. In fact, the existing methods lack the capabilities to manage application…

Cryptography and Security · Computer Science 2017-12-07 Yang Luo , Qixun Zhang , Qingni Shen , Hongzhi Liu , Zhonghai Wu

With the digital breakthrough, smart phones have become very essential component. Mobile devices are very attractive attack surface for cyber thieves as they hold personal details (accounts, locations, contacts, photos) and have potential…

Cryptography and Security · Computer Science 2017-09-22 Shweta Bhandari , Wafa Ben Jaballah , Vineeta Jain , Vijay Laxmi , Akka Zemmari , Manoj Singh Gaur , Mohamed Mosbah , Mauro Conti

The security of Android has been recently challenged by the discovery of a number of vulnerabilities involving different layers of the Android stack. We argue that such vulnerabilities are largely related to the interplay among layers…

Cryptography and Security · Computer Science 2012-09-05 Alessandro Armando , Alessio Merlo , Luca Verderame