中文
相关论文

相关论文: Trust but Verify: Cryptographic Data Privacy for M…

200 篇论文

Road network is employed for exchanging the information among the vehicles where accidents and traffic information can be delivered, or receive services by an infrastructure. Although wireless communication systems yield an efficient…

密码学与安全 · 计算机科学 2017-06-09 Imran Memon , Hina Memon

Trajectory data, which capture the movement patterns of people and vehicles over time and space, are crucial for applications like traffic optimization and urban planning. However, issues such as noise and incompleteness often compromise…

机器学习 · 计算机科学 2025-05-09 Zhihao Zeng , Ziquan Fang , Wei Shao , Lu Chen , Yunjun Gao

In distributed Cyber-Physical Systems and Internet-of-Things applications, the nodes of the system send measurements to a monitor that checks whether these measurements satisfy given formal specifications. For instance in Urban Air…

计算机科学中的逻辑 · 计算机科学 2025-05-23 Charles Koll , Preston Tan Hang , Mike Rosulek , Houssam Abbas

Mobility as a Service (MaaS) applies the everything-as-a-service paradigm of Cloud Computing to transportation: a MaaS provider offers to its users the dynamic composition of solutions of different travel agencies into a single, consistent…

密码学与安全 · 计算机科学 2016-09-22 Franco Callegati , Saverio Giallorenzo , Andrea Melis , Marco Prandini

The maintenance of big cities public transport service quality requires constant monitoring, which may become an expensive and time-consuming practice. The perception of quality, from the users point of view is an important aspect of…

计算机与社会 · 计算机科学 2017-05-11 Vasco Furtado , Carlos Caminha , Elizabeth Furtado , André Lopes , Victor Dantas , Caio Ponte , Sofia Cavalcante

Large language model (LLM) routing has emerged as a critical strategy to balance model performance and cost-efficiency by dynamically selecting services from various model providers. However, LLM routing adds an intermediate layer between…

密码学与安全 · 计算机科学 2026-04-20 Xidong Wu , Yukuan Zhang , Yuqiong Ji , Reza Shirkavand , Qian Lou , Shangqian Gao

Middleboxes in a computer network system inspect and analyse network traffic to detect malicious communications, monitor system performance and provide operational services. However, encrypted traffic hinders the ability of middleboxes to…

密码学与安全 · 计算机科学 2021-01-13 Geong Sen Poh , Dinil Mon Divakaran , Hoon Wei Lim , Jianting Ning , Achintya Desai

An important feature of data collection frameworks, in which voluntary participants are involved, is that of privacy. Besides data encryption, which protects the data from third parties in case the communication channel is compromised,…

密码学与安全 · 计算机科学 2020-03-12 Marios Fanourakis

Analytics on personal data, such as individuals' mobility, financial, and health data can be of significant benefit to society. Such data is already collected by smartphones, apps and services today, but liberal societies have so far…

In the current architecture of the Internet, there is a strong asymmetry in terms of power between the entities that gather and process personal data (e.g., major Internet companies, telecom operators, cloud providers, ...) and the…

密码学与安全 · 计算机科学 2014-09-12 Sebastien Gambs , Samuel Ranellucci , and Alain Tapp

Traffic inspection is a fundamental building block of many security solutions today. For example, to prevent the leakage or exfiltration of confidential insider information, as well as to block malicious traffic from entering the network,…

密码学与安全 · 计算机科学 2016-04-18 Liron Schiff , Stefan Schmid

Researchers face the trade-off between publishing mobility data along with their papers while simultaneously protecting the privacy of the individuals. In addition to the fundamental anonymization process, other techniques, such as spatial…

社会与信息网络 · 计算机科学 2024-07-26 Gergő Pintér

Preserving the privacy of individual databases when carrying out statistical calculations has a long history in statistics and had been the focus of much recent attention in machine learning In this paper, we present a protocol for…

密码学与安全 · 计算机科学 2011-12-01 Rob Hall , Yuval Nardi , Stephen Fienberg

In this paper we propose a novel protocol that allows suppliers and grid operators to collect users' aggregate metering data in a secure and privacy-preserving manner. We use secure multiparty computation to ensure privacy protection. In…

密码学与安全 · 计算机科学 2019-03-15 Mustafa A. Mustafa , Sara Cleemput , Abelrahaman Aly , Aysajan Abidin

Evaluating the usefulness of data before purchase is essential when obtaining data for high-quality machine learning models, yet both model builders and data providers are often unwilling to reveal their proprietary assets. We present…

密码学与安全 · 计算机科学 2026-04-21 Wan Ki Wong , Sahel Torkamani , Michele Ciampi , Rik Sarkar

A fundamental question that has been studied in cryptography and in information theory is whether two parties can communicate confidentially using exclusively an open channel. We consider the model in which the two parties hold inputs that…

信息论 · 计算机科学 2020-01-10 Marius Zimand

Malware checking is changing from being a local service to a cloud-assisted one where users' devices query a cloud server, which hosts a dictionary of malware signatures, to check if particular applications are potentially malware. Whilst…

密码学与安全 · 计算机科学 2017-02-20 Sandeep Tamrakar , Jian Liu , Andrew Paverd , Jan-Erik Ekberg , Benny Pinkas , N. Asokan

Digital services like ride sharing rely heavily on personal data as individuals have to disclose personal information in order to gain access to the market and exchange their information with other participants; yet, the service provider…

计算机与社会 · 计算机科学 2021-10-20 Carsten Hesselmann , Jan Gertheiss , Jörg P. Müller

MobilitApp is an Android application whose objective is to obtain mobility data from the citizens of the metropolitan area of Barcelona. The current project is based on the research of more trustful and stronger transport decision…

其他计算机科学 · 计算机科学 2016-05-19 Gerard Marrugat Torregrosa , Monica Aguilar Igartua , Silvia Puglisi

In cryptography, secure Multi-Party Computation (MPC) protocols allow participants to compute a function jointly while keeping their inputs private. Recent breakthroughs are bringing MPC into practice, solving fundamental challenges for…

密码学与安全 · 计算机科学 2018-06-01 David Butler , David Aspinall , Adria Gascon