English
Related papers

Related papers: dup -- Explicit un-sharing in Haskell

200 papers

We consider the problem of secret protection, in which a business or organization wishes to train a model on their own data, while attempting to not leak secrets potentially contained in that data via the model. The standard method for…

Cryptography and Security · Computer Science 2025-06-03 Arun Ganesh , Brendan McMahan , Milad Nasr , Thomas Steinke , Abhradeep Thakurta

Universal identifiers and hashing have been widely adopted in computer science from distributed financial transactions to data science. This is a consequence of their capability to avoid many shortcomings of relative identifiers, such as…

Data Structures and Algorithms · Computer Science 2021-09-14 Davi Pereira-Santos , Gabriel Dalforno , André C. P. L. F. Carvalho

Cloud computing helps reduce costs, increase business agility and deploy solutions with a high return on investment for many types of applications. However, data security is of premium importance to many users and often restrains their…

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

Hashing aims at generating highly compact similarity preserving code words which are well suited for large-scale image retrieval tasks. Most existing hashing methods first encode the images as a vector of hand-crafted features followed by a…

Computer Vision and Pattern Recognition · Computer Science 2016-12-19 Sailesh Conjeti , Abhijit Guha Roy , Amin Katouzian , Nassir Navab

We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type $p$ over a set $B$ does not divide over $C\subseteq B$, then no extension of $p$ to a complete type over $\text{acl}(B)$ divides over $C$.…

Logic · Mathematics 2024-11-20 Gabriel Conant , Alex Kruckman

Can health entities collaboratively train deep learning models without sharing sensitive raw data? This paper proposes several configurations of a distributed deep learning method called SplitNN to facilitate such collaborations. SplitNN…

Machine Learning · Computer Science 2018-12-04 Praneeth Vepakomma , Otkrist Gupta , Tristan Swedish , Ramesh Raskar

Recent research shows that copying is prevalent for Deep-Web data and considering copying can significantly improve truth finding from conflicting values. However, existing copy detection techniques do not scale for large sizes and numbers…

Databases · Computer Science 2015-03-03 Xian Li , Xin Luna Dong , Kenneth B. Lyons , Weiyi Meng , Divesh Srivastava

Data deduplication is the task of detecting records in a database that correspond to the same real-world entity. Our goal is to develop a procedure that samples uniformly from the set of entities present in the database in the presence of…

Machine Learning · Computer Science 2020-08-25 Alireza Heidari , Shrinu Kushagra , Ihab F. Ilyas

Distributed ledger technologies, also known as blockchains for enterprises, promise to significantly reduce the high cost of automating multi-party business workflows. We argue that a programming language for writing such on-ledger logic…

Restaking protocols expand validator responsibilities beyond consensus, but their security depends on resistance to Sybil attacks. We introduce a formal framework for Sybil-proofness in restaking networks, distinguishing between two types…

Computer Science and Game Theory · Computer Science 2025-09-24 Tarun Chitra , Paolo Penna , Manvir Schneider

Access to diverse, high-quality datasets is crucial for machine learning model performance, yet data sharing remains limited by privacy concerns and competitive interests, particularly in regulated domains like healthcare. This dynamic…

Machine Learning · Computer Science 2025-10-20 Keren Fuentes , Mimee Xu , Irene Chen

We live in an era of information and it is very important to handle the exchange of information. While sending data to an authorized source, we need to protect it from unauthorized sources, changes, and authentication. ZKP technique can be…

Cryptography and Security · Computer Science 2019-11-22 Lavish Saluja , Ashutosh Bhatia

Linear type systems have a long and storied history, but not a clear path forward to integrate with existing languages such as OCaml or Haskell. In this paper, we study a linear type system designed with two crucial properties in mind:…

Programming Languages · Computer Science 2017-11-09 Jean-Philippe Bernardy , Mathieu Boespflug , Ryan R. Newton , Simon Peyton Jones , Arnaud Spiwack

With the advantages of both classical and quantum secret sharing, many practical hybrid quantum secret sharing have been proposed. In this paper, we propose a hybrid quantum secret sharing scheme based on mutually unbiased bases and…

Quantum Physics · Physics 2020-06-24 Dan-Li Zhi , Zhu-Hui Li , Li-juan Liu , Zhao-Wei Han

We use a degeneration of the 1D double affine Hecke algebra and the Dunkl operator to study systematically nonsymmetric Bessel functions and their truncations.

Quantum Algebra · Mathematics 2007-05-23 Ivan Cherednik , Yavor Markov

We present sec-cs, a hash-table-like data structure for file contents on untrusted storage that is both secure and storage-efficient. We achieve authenticity and confidentiality with zero storage overhead using deterministic authenticated…

Cryptography and Security · Computer Science 2016-06-13 Dominik Leibenger , Christoph Sorge

Distributed quantum communication and quantum computing offer many new opportunities for quantum information processing. Here networks based on highly nonlocal quantum resources with complex entanglement structures have been proposed for…

Quantum Physics · Physics 2014-11-24 B. A. Bell , D. Markham , D. A. Herrera-Martí , A. Marin , W. J. Wadsworth , J. G. Rarity , M. S. Tame

Analyzing interconnection structures among underlying entities or objects in a dataset through the use of graph analytics has been shown to provide tremendous value in many application domains. However, graphs are not the primary…

Databases · Computer Science 2017-02-14 Konstantinos Xirogiannopoulos , Amol Deshpande

Conventional unsupervised hashing methods usually take advantage of similarity graphs, which are either pre-computed in the high-dimensional space or obtained from random anchor points. On the one hand, existing methods uncouple the…

Computer Vision and Pattern Recognition · Computer Science 2020-03-17 Yuming Shen , Jie Qin , Jiaxin Chen , Mengyang Yu , Li Liu , Fan Zhu , Fumin Shen , Ling Shao

We review the use of differential privacy (DP) for privacy protection in machine learning (ML). We show that, driven by the aim of preserving the accuracy of the learned models, DP-based ML implementations are so loose that they do not…

Cryptography and Security · Computer Science 2023-01-09 Alberto Blanco-Justicia , David Sanchez , Josep Domingo-Ferrer , Krishnamurty Muralidhar
‹ Prev 1 8 9 10 Next ›