English
Related papers

Related papers: MonkeyDB: Effectively Testing Correctness against …

200 papers

Social media and other platforms rely on automated detection of abusive content to help combat disinformation, harassment, and abuse. One common approach is to check user content for similarity against a server-side database of problematic…

Cryptography and Security · Computer Science 2021-10-06 Yiqing Hua , Armin Namavari , Kaishuo Cheng , Mor Naaman , Thomas Ristenpart

Presently, Bangladesh is expending substantial efforts to digitize its national infrastructure, with a significant emphasis on achieving this goal through mobile applications that facilitate online payments and banking system advancements.…

Cryptography and Security · Computer Science 2024-11-28 Shahriar Hasan Mickey , Muhammad Nur Yanhaona

In this article I describe a research agenda for securing machine learning models against adversarial inputs at test time. This article does not present results but instead shares some of my thoughts about where I think that the field needs…

Machine Learning · Computer Science 2019-03-18 Ian Goodfellow

A learned database system uses machine learning (ML) internally to improve performance. We can expect such systems to be vulnerable to some adversarial-ML attacks. Often, the learned component is shared between mutually-distrusting users or…

Cryptography and Security · Computer Science 2025-07-03 Roei Schuster , Jin Peng Zhou , Thorsten Eisenhofer , Paul Grubbs , Nicolas Papernot

Hundreds of defenses have been proposed to make deep neural networks robust against minimal (adversarial) input perturbations. However, only a handful of these defenses held up their claims because correctly evaluating robustness is…

Machine Learning · Computer Science 2022-06-29 Roland S. Zimmermann , Wieland Brendel , Florian Tramer , Nicholas Carlini

We show that in device independent quantum key distribution protocols the privacy of randomness is of crucial importance. For sublinear test sample sizes even the slightest guessing probability by an eavesdropper will completely compromise…

Quantum Physics · Physics 2013-09-12 Marcus Huber , Marcin Pawlowski

There have been growing discussions on estimating and subsequently reducing the operational carbon footprint of enterprise data centers. The design and intelligent control for data centers have an important impact on data center carbon…

Eliminating vulnerabilities from low-level code is vital for securing software. Static analysis is a promising approach for discovering vulnerabilities since it can provide developers early feedback on the code they write. But, it presents…

Cryptography and Security · Computer Science 2016-04-07 Bhargava Shastry , Fabian Yamaguchi , Konrad Rieck , Jean-Pierre Seifert

We study selfish mining attacks in longest-chain blockchains like Bitcoin, but where the proof of work is replaced with efficient proof systems -- like proofs of stake or proofs of space -- and consider the problem of computing an optimal…

Cryptography and Security · Computer Science 2024-05-09 Krishnendu Chatterjee , Amirali Ebrahimzadeh , Mehrdad Karrabi , Krzysztof Pietrzak , Michelle Yeo , Đorđe Žikelić

The production, shipping, usage, and disposal of consumer goods have a substantial impact on greenhouse gas emissions and the depletion of resources. Machine Learning (ML) can help to foster sustainable consumption patterns by accounting…

The proliferation of smart technologies and evolving privacy regulations such as the GDPR and CPRA has increased the need to manage fine-grained access control (FGAC) policies in database management systems (DBMSs). Existing approaches to…

We present a system to support generalized SQL workload analysis and management for multi-tenant and multi-database platforms. Workload analysis applications are becoming more sophisticated to support database administration, model user…

Databases · Computer Science 2018-08-28 Shrainik Jain , Jiaqi Yan , Thierry Cruane , Bill Howe

The convergence of mobile edge computing (MEC) and blockchain is transforming the current computing services in wireless Internet-of-Things networks, by enabling task offloading with security enhancement based on blockchain mining. Yet the…

Modular data centers (MDCs) that can be placed right at the energy farms and powered mostly by renewable energy, are proven to be a flexible and effective approach to lowering the carbon footprint of data centers. However, the main…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-06-05 Jinghan Sun , Zibo Gong , Anup Agarwal , Shadi Noghabi , Ranveer Chandra , Marc Snir , Jian Huang

Recently, Python Testbed for Federated Learning Algorithms emerged as a low code and generative large language models amenable framework for developing decentralized and distributed applications, primarily targeting edge systems, by…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-01-23 Miroslav Popovic , Marko Popovic , Ivan Kastelan , Miodrag Djukic , Ilija Basicevic

Privacy preservation is a big concern for various sectors. To protect individual user data, one emerging technology is differential privacy. However, it still has limitations for datasets with frequent queries, such as the fast accumulation…

Cryptography and Security · Computer Science 2020-06-09 Leong Mei Han , Yang Zhao , Jun Zhao

Differential privacy is the standard method for privacy-preserving data analysis. The importance of having strong guarantees on the reliability of implementations of differentially private algorithms is widely recognized and has sparked…

Blockchain technology ensures secure and trustworthy data flow between multiple participants on the chain, but interoperability of on-chain and off-chain data has always been a difficult problem that needs to be solved. To solve the problem…

Cryptography and Security · Computer Science 2024-11-19 Xueying Zeng , Youquan Xian , Chunpei Li , Zhengdong Hu , Aoxiang Zhou , Peng Liu

Conformance checking, one of the main process mining operations, aims to identify discrepancies between a process model and an event log. The model represents the expected behaviour, whereas the event log represents the actual process…

The increasing adoption of Cloud-based data processing and storage poses a number of privacy issues. Users wish to preserve full control over their sensitive data and cannot accept it to be fully accessible to an external storage provider.…

Cryptography and Security · Computer Science 2015-03-30 Francesco Pagano