中文
相关论文

相关论文: Automated Security Analysis of Exposure Notificati…

200 篇论文

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…

分布式、并行与集群计算 · 计算机科学 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…

信息论 · 计算机科学 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…

人机交互 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器学习 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器学习 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器学习 · 计算机科学 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…

密码学与安全 · 计算机科学 2026-02-09 Lukas Karner , Max Landauer , Markus Wurzenberger , Florian Skopik