English
Related papers

Related papers: Efficient Query Verification on Outsourced Data: A…

200 papers

Mobile edge computing seeks to provide resources to different delay-sensitive applications. This is a challenging problem as an edge cloud-service provider may not have sufficient resources to satisfy all resource requests. Furthermore,…

Networking and Internet Architecture · Computer Science 2020-01-03 Faheem Zafari , Kin K. Leung , Don Towsley , Prithwish Basu , Ananthram Swami , Jian Li

Federated knowledge discovery and data mining are challenged to assess the trustworthiness of data originating from autonomous sources while protecting confidentiality and privacy. Truth-finding algorithms help corroborate data from…

Cryptography and Security · Computer Science 2023-05-25 Angelo Saadeh , Pierre Senellart , Stéphane Bressan

To curb the spread of fake news on social media platforms, recent studies have considered an online crowdsourcing fact-checking approach as one possible intervention method to reduce misinformation. However, it remains unclear under what…

Physics and Society · Physics 2022-06-10 Matthew I Jones , Scott D. Pauls , Feng Fu

Outsourcing computation is a desired approach for IoT (Internet of Things) devices to transfer their burdens of heavy computations to those nearby, resource-abundant cloud servers. Recently, Rangasamy presented a passive attack against two…

Cryptography and Security · Computer Science 2022-03-22 Xiulan Li , Yansong Feng , Yanbin Pan

We propose InfoChess, a symmetric adversarial game that elevates competitive information acquisition to the primary objective. There is no piece capture, removing material incentives that would otherwise confound the role of information.…

Multiagent Systems · Computer Science 2026-04-20 Kieran A. Murphy

Outsourcing data and computation to cloud server provides a cost-effective way to support large scale data storage and query processing. However, due to security and privacy concerns, sensitive data (e.g., medical records) need to be…

Databases · Computer Science 2018-06-05 Jinfei Liu , Juncheng Yang , Li Xiong , Jian Pei

Machine learning models are increasingly deployed for critical decision-making tasks, making it important to verify that they do not contain gender or racial biases picked up from training data. Typical approaches to achieve fairness…

Machine Learning · Computer Science 2022-12-19 Giorgian Borca-Tasciuc , Xingzhi Guo , Stanley Bak , Steven Skiena

Deceptive and anti-deceptive technologies have been developed for various specific applications. But there is a significant need for a general, holistic, and quantitative framework of deception. Game theory provides an ideal set of tools to…

Computer Science and Game Theory · Computer Science 2019-03-06 Quanyan Zhu

Fact verification requires validating a claim in the context of evidence. We show, however, that in the popular FEVER dataset this might not necessarily be the case. Claim-only classifiers perform competitively with top evidence-aware…

Computation and Language · Computer Science 2019-09-04 Tal Schuster , Darsh J Shah , Yun Jie Serene Yeo , Daniel Filizzola , Enrico Santus , Regina Barzilay

Current DAO governance praxis limits organizational expressivity and reduces complex organizational decisions to token-weighted voting due to on-chain computational limits. This paper proposes verifiable off-chain computation (leveraging…

Computer Science and Game Theory · Computer Science 2025-12-30 Jake Hartnell , Eugenio Battaglia

No significant research has been conducted so far on Intrusion detection due to data availability since, network traffic within companies is private information and no available logs can be found on the Internet for independent research.…

Cryptography and Security · Computer Science 2021-07-28 Theodosis Mourouzis , Andreas Avgousti

Data ecosystems are becoming larger and more complex due to online tracking, wearable computing, and the Internet of Things. But privacy concerns are threatening to erode the potential benefits of these systems. Recently, users have…

Cryptography and Security · Computer Science 2017-10-17 Jeffrey Pawlick , Quanyan Zhu

Treasure Data is processing millions of distributed SQL queries every day on the cloud. Upgrading the query engine service at this scale is challenging because we need to migrate all of the production queries of the customers to a new…

Private blockchain is driving the creation of business networks, resulting in the creation of new value or new business models to the enterprises participating in the network. Such business networks form when enterprises come together to…

Computer Science and Game Theory · Computer Science 2020-12-09 Segev Wasserkrug , Eitan Farchi

The increased focus on misinformation has spurred development of data and systems for detecting the veracity of a claim as well as retrieving authoritative evidence. The Fact Extraction and VERification (FEVER) dataset provides such a…

Computation and Language · Computer Science 2020-04-28 Christopher Hidey , Tuhin Chakrabarty , Tariq Alhindi , Siddharth Varia , Kriste Krstovski , Mona Diab , Smaranda Muresan

Selection of input features such as relevant pieces of text has become a common technique of highlighting how complex neural predictors operate. The selection can be optimized post-hoc for trained models or incorporated directly into the…

Machine Learning · Computer Science 2019-10-29 Shiyu Chang , Yang Zhang , Mo Yu , Tommi S. Jaakkola

With the exponential growth of data and its crucial impact on our lives and decision-making, the integrity of data has become a significant concern. Malicious data poisoning attacks, where false values are injected into the data, can…

Cryptography and Security · Computer Science 2024-03-18 Yue Fu , Qingqing Ye , Rong Du , Haibo Hu

As awareness of health and environmental issues grows, the demand for organic food is rising worldwide, yet consumers still struggle to distinguish genuine organic products from conventional ones. This information asymmetry creates…

Theoretical Economics · Economics 2026-04-28 Joao Zambujal-Oliveira , Andre Silva , Rui Vasconcelos

The additional complexity caused by concurrently communicating processes in distributed systems render the verification of such systems into a very hard problem. Multiparty session types were developed to govern communication and…

Logic in Computer Science · Computer Science 2019-08-20 Kirstin Peters , Christoph Wagner , Uwe Nestmann

Cloud computing helps reduce costs, increase business agility and deploy solutions with a high return on investment for many types of applications, including data warehouses and on-line analytical processing. However, storing and…

Databases · Computer Science 2017-01-20 Varunya Attasena , Nouria Harbi , Jérôme Darmont