中文
相关论文

相关论文: Secure Sketch for All Noisy Sources (Noisy)

200 篇论文

We propose a novel approach to program synthesis, focusing on synthesizing database queries. At a high level, our proposed algorithm takes as input a sketch with soft constraints encoding user intent, and then iteratively interacts with the…

编程语言 · 计算机科学 2021-10-12 Osbert Bastani , Xin Zhang , Armando Solar-Lezama

A subset of a set of terminals that observe correlated signals seek to compute a given function of the signals using public communication. It is required that the value of the function be kept secret from an eavesdropper with access to the…

信息论 · 计算机科学 2010-07-20 Himanshu Tyagi , Prakash Narayan , Piyush Gupta

Document sketching using Jaccard similarity has been a workable effective technique in reducing near-duplicates in Web page and image search results, and has also proven useful in file system synchronization, compression and learning…

数据结构与算法 · 计算机科学 2014-10-17 Bernhard Haeupler , Mark Manasse , Kunal Talwar

Spreading the information over all coefficients of a representation is a desirable property in many applications such as digital communication or machine learning. This so-called antisparse representation can be obtained by solving a convex…

机器学习 · 计算机科学 2020-07-15 Clément Elvira , Cédric Herzet

Preventing abusive activities caused by adversaries accessing online services at a rate exceeding that expected by websites has become an ever-increasing problem. CAPTCHAs and SMS authentication are widely used to provide a solution by…

密码学与安全 · 计算机科学 2024-06-27 Kosei Akama , Yoshimichi Nakatsuka , Masaaki Sato , Keisuke Uehara

In network communications, information transmission often encounters wiretapping attacks. Secure network coding is introduced to prevent information from being leaked to adversaries. The investigation of performance bounds on the numbers of…

信息论 · 计算机科学 2015-05-07 Xuan Guang , Jiyong Lu , Fang-Wei Fu

As sketch research has collectively matured over time, its adaptation for at-mass commercialisation emerges on the immediate horizon. Despite an already mature research endeavour for photos, there is no research on the efficient inference…

计算机视觉与模式识别 · 计算机科学 2025-05-30 Aneeshan Sain , Subhajit Maity , Pinaki Nath Chowdhury , Subhadeep Koley , Ayan Kumar Bhunia , Yi-Zhe Song

A class of recovering algorithms for 1-bit compressive sensing (CS) named Soft Consistency Reconstructions (SCRs) are proposed. Recognizing that CS recovery is essentially an optimization problem, we endeavor to improve the characteristics…

信息论 · 计算机科学 2014-02-25 Xiao Cai , Zhaoyang Zhang , Huazi Zhang , Chunguang Li

Provenance sketches, light-weight indexes that record what data is needed (is relevant) for answering a query, can significantly improve performance of important classes of queries (e.g., HAVING and top-k queries). Given a horizontal…

数据库 · 计算机科学 2025-04-29 Ziyu Liu , Boris Glavic

This paper develops conformal inference methods to construct a confidence interval for the frequency of a queried object in a very large discrete data set, based on a sketch with a lower memory footprint. This approach requires no knowledge…

统计方法学 · 统计学 2023-08-17 Matteo Sesia , Stefano Favaro , Edgar Dobriban

In this work, we propose a method for speeding up linear regression distributively, while ensuring security. We leverage randomized sketching techniques, and improve straggler resilience in asynchronous systems. Specifically, we apply a…

信息论 · 计算机科学 2022-02-23 Neophytos Charalambides , Hessam Mahdavifar , Mert Pilanci , Alfred O. Hero

Differential privacy (DP) is a compelling privacy definition that explains the privacy-utility tradeoff via formal, provable guarantees. Inspired by recent progress toward general-purpose data release algorithms, we propose a private…

数据结构与算法 · 计算机科学 2020-06-17 Benjamin Coleman , Anshumali Shrivastava

We study algorithms in the distributed message-passing model that produce secured output, for an input graph $G$. Specifically, each vertex computes its part in the output, the entire output is correct, but each vertex cannot discover the…

分布式、并行与集群计算 · 计算机科学 2021-02-19 Leonid Barenboim , Harel Levin

We introduce a novel sketch-to-image tool that aligns with the iterative refinement process of artists. Our tool lets users sketch blocking strokes to coarsely represent the placement and form of objects and detail strokes to refine their…

图形学 · 计算机科学 2024-10-28 Vishnu Sarukkai , Lu Yuan , Mia Tang , Maneesh Agrawala , Kayvon Fatahalian

An `obfuscation' for encrypted computing is quantified exactly here, leading to an argument that security against polynomial-time attacks has been achieved for user data via the deliberately `chaotic' compilation required for security…

密码学与安全 · 计算机科学 2019-04-30 Peter T. Breuer

Sketching algorithms or sketches have emerged as a promising alternative to the traditional packet sampling-based network telemetry solutions. At a high level, they are attractive because of their high resource efficiency and accuracy…

网络与互联网体系结构 · 计算机科学 2020-12-14 Zaoxing Liu , Hun Namkung , Anup Agarwal , Antonis Manousis , Peter Steenkiste , Srinivasan Seshan , Vyas Sekar

Under the emerging network coding paradigm, intermediate nodes in the network are allowed not only to store and forward packets but also to process and mix different data flows. We propose a low-complexity cryptographic scheme that exploits…

密码学与安全 · 计算机科学 2016-11-17 Joao P. Vilela , Luisa Lima , Joao Barros

We study the problem of achieving strong secrecy over wiretap channels at negligible cost, in the sense of maintaining the overall communication rate of the same channel without secrecy constraints. Specifically, we propose and analyze two…

信息论 · 计算机科学 2016-12-06 Remi A. Chou , Badri Vellambi , Matthieu Bloch , Joerg Kliewer

This paper addresses the problem of secure data reconstruction for unknown systems, where data collected from the system are susceptible to malicious manipulation. We aim to recover the real trajectory without prior knowledge of the system…

系统与控制 · 电气工程与系统科学 2025-02-05 Jiaqi Yan , Ivan Markovsky , John Lygeros

Constrained least squares problems arise in many applications. Their memory and computation costs are expensive in practice involving high-dimensional input data. We employ the so-called "sketching" strategy to project the least squares…

最优化与控制 · 数学 2021-09-07 Ke Chen , Ruhui Jin