English
Related papers

Related papers: SHA-1 and the Strict Avalanche Criterion

200 papers

To get estimators that work within a certain error bound with high probability, a common strategy is to design one that works with constant probability, and then boost the probability using independent repetitions. Important examples of…

Data Structures and Algorithms · Computer Science 2020-04-03 Anders Aamand , Debarati Das , Evangelos Kipouridis , Jakob B. T. Knudsen , Peter M. R. Rasmussen , Mikkel Thorup

Deep hashing is an effective approach for large-scale image retrieval. Current methods are typically classified by their supervision types: point-wise, pair-wise, and list-wise. Recent point-wise techniques (e.g., CSQ, MDS) have improved…

Computer Vision and Pattern Recognition · Computer Science 2025-07-14 Li Chen , Rui Liu , Yuxiang Zhou , Xudong Ma , Yong Chen , Dell Zhang

Reachability analysis evaluates system safety, by identifying the set of states a system may evolve within over a finite time horizon. In contrast to model-based reachability analysis, data-driven reachability analysis estimates reachable…

Systems and Control · Electrical Eng. & Systems 2026-04-06 Elizabeth Dietrich , Hanna Krasowski , Murat Arcak

Statistical coupling analysis (SCA) is a method for analyzing multiple sequence alignments that was used to identify groups of coevolving residues termed "sectors". The method applies spectral analysis to a matrix obtained by combining…

Biomolecules · Quantitative Biology 2015-06-19 Tiberiu Tesileanu , Lucy J. Colwell , Stanislas Leibler

Heterogeneous data, which encompass both numerical financial variables and textual records, present substantial challenges for credit monitoring. To address this issue, we propose Advanced Spectral Clustering (ASC), a method that integrates…

Machine Learning · Computer Science 2025-09-03 Lu Han , Mengyan Li , Jiping Qiang , Zhi Su

Stringology-Based Cryptanalysis (SBC) offers a suitable and a structurally aligned approach for uncovering structural patterns in stream ciphers that traditional statistical tests may often fail to detect. Despite \texttt{EChaCha20}'s…

Cryptography and Security · Computer Science 2026-04-13 Victor Kebande

Consistent hashing (CH) has been pivotal as a data router and load balancer in diverse fields, including distributed databases, cloud infrastructure, and peer-to-peer networks. However, existing CH algorithms often fall short in…

Data Structures and Algorithms · Computer Science 2023-11-21 Chao Dong , Fang Wang , Dan Feng

Consider the convex hull of a collection of disjoint open discs with radii $1/2$. The boundary of the convex hull consists of a finite number of line segments and arcs. Randomly choose a point in one of the arcs in the boundary so that the…

Probability · Mathematics 2025-08-13 Krzysztof Burdzy

Sparse subspace clustering (SSC) is a state-of-the-art method for segmenting a set of data points drawn from a union of subspaces into their respective subspaces. It is now well understood that SSC produces subspace-preserving data affinity…

Signal Processing · Electrical Eng. & Systems 2018-11-22 Chun-Guang Li , Chong You , René Vidal

Uniform spherical beads were used to explore the behavior of a granular system near its critical angle of repose on a conical bead pile. We found two tuning parameters that could take the system to a critical point where a simple power-law…

In this paper, we present a general review of hash functions in a cryptographic sense. We give special emphasis on some particular topics such as cipher block chaining message authentication code (CBC MAC) and its variants. This paper also…

Cryptography and Security · Computer Science 2007-05-23 Turker Ozsari

This paper presents SNOW-SCA, the first power side-channel analysis (SCA) attack of a 5G mobile communication security standard candidate, SNOW-V, running on a 32-bit ARM Cortex-M4 microcontroller. First, we perform a generic known-key…

Cryptography and Security · Computer Science 2024-03-14 Harshit Saurabh , Anupam Golder , Samarth Shivakumar Titti , Suparna Kundu , Chaoyun Li , Angshuman Karmakar , Debayan Das

Consistent range-hashing is a technique used in distributed systems, either directly or as a subroutine for consistent hashing, commonly to realize an even and stable data distribution over a variable number of resources. We introduce…

Data Structures and Algorithms · Computer Science 2024-02-28 Charles Masson , Homin K. Lee

Static cache analysis characterizes a program's cache behavior by determining in a sound but approximate manner which memory accesses result in cache hits and which result in cache misses. Such information is valuable in optimizing…

Programming Languages · Computer Science 2021-08-23 Valentin Touzeau , Claire Maïza , David Monniaux , Jan Reineke

Recently, a secrecy measure based on list-reconstruction has been proposed [2], in which a wiretapper is allowed to produce a list of $2^{mR_{L}}$ reconstruction sequences and the secrecy is measured by the minimum distortion over the…

Information Theory · Computer Science 2017-07-25 Lei Yu , Houqiang Li , Weiping Li

We propose a hash function based on arithmetic coding and public-key cryptography. The resistance of the hash function to second preimage attack, collision and differential cryptanalysis is based on the properties of arithmetic coding as a…

Cryptography and Security · Computer Science 2015-03-17 Rene Ndoundam , Juvet Karnel Sadie , Patrick Nguening Nguembu

Constrained Horn Clauses (CHCs) are an intermediate program representation that can be generated by several verification tools, and that can be processed and solved by a number of Horn solvers. One of the main challenges when using CHCs in…

Logic in Computer Science · Computer Science 2021-04-12 Zafer Esen , Philipp Rümmer

Symbolic regression (SR) traditionally balances accuracy and complexity, implicitly assuming that simpler formulas are structurally more rational. We argue that this assumption is insufficient: existing algorithms often exploit this metric…

Machine Learning · Computer Science 2026-02-03 Zihan Yu , Guanren Wang , Jingtao Ding , Huandong Wang , Yong Li

A new generalized Statistical Complexity Measure (SCM) was proposed by Rosso et al in 2010. It is a functional that captures the notions of order/disorder and of distance to an equilibrium distribution. The former is computed by a measure…

Information Theory · Computer Science 2012-07-04 Eliana S. de Almeida , Antonio Carlos de Medeiros , Osvaldo A. Rosso , Alejandro C. Frery
‹ Prev 1 4 5 6 7 8 10 Next ›