English
Related papers

Related papers: Automated Security Analysis of Exposure Notificati…

200 papers

The rapid growth of decentralized systems in theWeb3 ecosystem has introduced numerous challenges, particularly in ensuring data security, privacy, and scalability [3, 8]. These systems rely heavily on distributed architectures, requiring…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-16 Shlomi Dolev , Ehud Gudes , Daniel Shlomo

Android is the most widely deployed end-user focused operating system. With its growing set of use cases encompassing communication, navigation, media consumption, entertainment, finance, health, and access to sensors, actuators, cameras,…

In an Internet of Things network, multiple sensors send information to a fusion center for it to infer a public hypothesis of interest. However, the same sensor information may be used by the fusion center to make inferences of a private…

Information Theory · Computer Science 2017-06-30 Meng Sun , Wee Peng Tay , Xin He

The proliferation of network-connected devices and applications has resulted in people receiving dozens, or hundreds, of notifications per day. When people are in the presence of others, each notification poses some risk of accidental…

Human-Computer Interaction · Computer Science 2018-08-02 Yongsung Kim , Adam Fourney , Ece Kamar

A multitude of privacy breaches, both accidental and malicious, have prompted users to distrust centralized providers of online social networks (OSNs) and investigate decentralized solutions. We examine the design of a fully decentralized…

Cryptography and Security · Computer Science 2011-12-19 Sonia Jahid , Shirin Nilizadeh , Prateek Mittal , Nikita Borisov , Apu Kapadia

In the age of ubiquitous technologies, security- and privacy-focused choices have turned out to be a significant concern for individuals and organizations. Risks of such pervasive technologies are extensive and often misaligned with user…

Cryptography and Security · Computer Science 2020-07-01 Behnood Momenzadeh , Shakthidhar Gopavaram , Sanchari Das , L Jean Camp

Mobile devices encroach on almost every part of our lives, including work and leisure, and contain a wealth of personal and sensitive information. It is, therefore, imperative that these devices uphold high security standards. A key aspect…

Cryptography and Security · Computer Science 2020-02-25 Sadegh Farhang , Mehmet Bahadir Kirdan , Aron Laszka , Jens Grossklags

Cyberterrorism poses a formidable threat to digital infrastructures, with increasing reliance on encrypted, decentralized platforms that obscure threat actor activity. To address the challenge of analyzing such adversarial networks while…

Cryptography and Security · Computer Science 2025-05-23 Anas Ali , Mubashar Husain , Peter Hans

Attacks on information systems followed by intrusions may cause large revenue losses. The prevention of both is not always possible by just considering information from isolated sources of the network. A global view of the whole system is…

Cryptography and Security · Computer Science 2008-02-27 Joaquin Garcia-Alfaro , Michael A. Jaeger , Gero Muehl , Joan Borrell

Smartphone-based contact-tracing applications are at the epicenter of the global fight against the Covid-19 pandemic. While governments and healthcare agencies are eager to mandate the deployment of such applications en-masse, they face…

Cryptography and Security · Computer Science 2020-12-10 Jianwei Huang , Vinod Yegneswaran , Phillip Porras , Guofei Gu

We report on the results of a measurement study carried out on a commuter bus in Dublin, Ireland using the Google/Apple Exposure Notification (GAEN) API. This API is likely to be widely used by Covid-19 contact tracing apps. Measurements…

Networking and Internet Architecture · Computer Science 2021-01-27 Douglas J. Leith , Stephen Farrell

In this paper, we present the design and implementation of a Systematic Inter-Component Communication Analysis Technology (SIAT) consisting of two key modules: \emph{Monitor} and \emph{Analyzer}. As an extension to the Android operating…

Cryptography and Security · Computer Science 2020-06-24 Yupeng Hu , Zhe Jin , Wenjia Li , Yang Xiang , Jiliang Zhang

Despite achieving good performance and wide adoption, machine learning based security detection models (e.g., malware classifiers) are subject to concept drift and evasive evolution of attackers, which renders up-to-date threat data as a…

Cryptography and Security · Computer Science 2024-04-09 Yu Bi , Yekai Li , Xuan Feng , Xianghang Mi

Google and Apple jointly introduced a digital contact tracing technology and an API called "exposure notification," to help health organizations and governments with contact tracing. The technology and its interplay with security and…

Cryptography and Security · Computer Science 2021-12-17 Salman Ahmed , Ya Xiao , Taejoong , Chung , Carol Fung , Moti Yung , Danfeng , Yao

Decentralized Gradient Descent (D-GD) allows a set of users to perform collaborative learning without sharing their data by iteratively averaging local model updates with their neighbors in a network graph. The absence of direct…

Machine Learning · Computer Science 2024-06-05 Abdellah El Mrini , Edwige Cyffers , Aurélien Bellet

Context: Post-release user feedback plays an integral role in improving software quality and informing new features. Given its growing importance, feedback concerning security enhancements is particularly noteworthy. In considering the…

Cryptography and Security · Computer Science 2021-02-26 Sherlock A. Licorish , Stephen G. MacDonell , Tony Clear

The increasing demand for on-device deep learning services calls for a highly efficient manner to deploy deep neural networks (DNNs) on mobile devices with limited capacity. The cloud-based solution is a promising approach to enabling deep…

Machine Learning · Computer Science 2019-01-08 Ji Wang , Jianguo Zhang , Weidong Bao , Xiaomin Zhu , Bokai Cao , Philip S. Yu

In recent decades, the RAFT distributed consensus algorithm has become a main pillar of the distributed systems ecosystem, ensuring data consistency and fault tolerance across multiple nodes. Although the fact that RAFT is well known for…

Cryptography and Security · Computer Science 2026-01-05 Tamer Afifi , Abdelfatah Hegazy , Ehab Abousaif

Mobile edge computing (MEC) is a prominent computing paradigm which expands the application fields of wireless communication. Due to the limitation of the capacities of user equipments and MEC servers, edge caching (EC) optimization is…

Machine Learning · Computer Science 2022-07-12 Shengheng Liu , Chong Zheng , Yongming Huang , Tony Q. S. Quek

Automated detection of cyber attacks is a critical capability to counteract the growing volume and sophistication of cyber attacks. However, the high numbers of security alerts issued by intrusion detection systems lead to alert fatigue…

Cryptography and Security · Computer Science 2026-02-09 Lukas Karner , Max Landauer , Markus Wurzenberger , Florian Skopik