4.2 Article

Treatment of the initial value in Time-Memory-Data Tradeoff attacks on stream ciphers

期刊

INFORMATION PROCESSING LETTERS
卷 107, 期 5, 页码 133-137

出版社

ELSEVIER
DOI: 10.1016/j.ipl.2008.01.011

关键词

cryptography; Time-Memory Tradeoff attacks; Time-Memory-Data Tradeoff attacks

资金

  1. Flemish Government [2005/11]
  2. Israel Academy of Sciences and Humanities
  3. Belgian State [P6/26 BCRYPT]

向作者/读者索取更多资源

Time-Memory Tradeoff (TMTO) attacks on stream ciphers are a serious security threat and the resistance to this class of attacks is an important criterion in the design of a modern stream cipher. TMTO attacks are especially effective against stream ciphers where a variant of the TMTO attack can make use of multiple data to reduce the off-line and the on-line time complexities of the attack (given a fixed amount of memory). In this paper we present a new approach to TMTO attacks against stream ciphers using a publicly known initial value (IV): We suggest not to treat the IV as part of the secret key material (as done in current attacks), but rather to choose in advance some IVs and apply a TMTO attack to streams produced using these IVs. We show that while the obtained tradeoff curve is identical to the curve obtained by the current approach, the new technique allows to mount the TMTO attack in a larger variety of settings. For example, if both the secret key and the IV are of length n, it is possible to mount an attack with data, time, and memory complexities of 2(4n/5), while in the current approach, either the time complexity or the memory complexity is not less than 2(n). (C) 2008 Elsevier B.V. All rights reserved.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.2
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

暂无数据
Article Computer Science, Information Systems

Word automatic groups of nilpotency class 2

Andre Nies, Frank Stephan

Summary: We investigate word automaticity for nilpotent groups of class 2 with prime exponent p. It is proven that the infinitely generated free group in this category is not word automatic. However, the infinite extra-special p-group Ep and an intermediate group Hp with an infinite center are both word automatic. Additionally, a method for demonstrating automaticity of central extensions of abelian groups via co-cycles is introduced.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

A new key recovery attack on a code-based signature from the Lyubashevsky framework

Chik How Tan, Theo Fanuela Prabowo

Summary: This paper presents a new key recovery attack on a Hamming-metric code-based signature scheme proposed by SHMWW. The attack extends the statistical part of the attack proposed by ABDKPS. In addition to classifying the columns of the secret matrix, the attack also determines the entries of the identity columns of this matrix via statistical method. The attack has better time complexity and can recover the secret key in under 45 minutes with no more than 1500 signatures.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

On the hull number on cycle convexity of graphs

Julio Araujo, Victor Campos, Darlan Girao, Joao Nogueira, Antonio Salgueiro, Ana Silva

Summary: This paper studies the parameter hull number in a graph convexity called Cycle Convexity, which is motivated by related notions in Knot Theory. The authors define the interval function and investigate the properties and computational methods of the minimum convex set for a graph G.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

Worst-case analysis of LPT scheduling on a small number of non-identical processors

Takuto Mitsunobu, Reiji Suda, Vorapong Suppakitpaisarn

Summary: The investigation on the approximation ratio of the longest processing time (LPT) scheduling algorithm has been conducted in various studies. While the ratio is known for identical processors, it remains unknown for processors with different speeds. This study provides a tight approximation ratio for three, four, and five processors, showing that the ratios are no larger than the lower bound provided by Gonzalez et al. (1977) [14]. The ratios are approximately 1.38, 1.43, and 1.46 for three, four, and five processors, respectively.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

Simplicity in Eulerian circuits: Uniqueness and safety

Nidia Obscura Acosta, Alexandru I. Tomescu

Summary: This paper presents a new linear-time checkable characterization of directed graphs with a unique Eulerian circuit. The characterization is based on a simple condition of when two edges must appear consecutively in all Eulerian circuits, in terms of cut nodes of the underlying undirected graph of G. Additionally, the paper proposes a method to compute all maximal safe walks appearing in all Eulerian circuits in linear time.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

A short note on A note on single-machine scheduling with job-dependent learning effects

Dar-Li Yang, Yung-Tsung Hou, Wen-Hung Kuo

Summary: The research states that the single-machine makespan minimization problem can be solved as an assignment problem in O(n3) time. Subsequent research shows that if the job-dependent learning effects are correlated with the level of sophistication of the jobs and have a lower bound, the scheduling problem can be solved in O(nlogn) time by sequencing the jobs according to the shortest processing time rule. The SPT job sequence remains optimal when the job-dependent learning effects are inversely correlated with the level of sophistication and have an upper bound. The main results of the paper are correct, but there are errors in Corollary 1 and incomplete proofs for Proposition 1 and Corollary 1. This note provides a counter example for the latter case and a modified corollary. A lemma is presented to complete the proofs for Proposition 1 and Corollary 1. Finally, a simple algorithm is developed to solve the latter case in O(n2) time.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

Recursion-free modular arithmetic in the lambda-calculus

Maximilien Mackie

Summary: This research investigates encodings for modular arithmetic in the lambda-calculus. Two approaches are considered: adapting existing numeral systems and creating a new one. The focus of this paper is to provide original techniques for encoding modular arithmetic directly. A modular arithmetic numeral system is presented, complete with multiplication and an implementation of the Chinese remainder theorem, all without recursion i.e., without using fixed-point operators.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

Linear threshold functions in decision lists, decision trees, and depth-2 circuits

Yogesh Dahiya, K. Vignesh, Meena Mahajan, Karteek Sreenivasaiah

Summary: We demonstrate that polynomial-size constant-rank linear decision trees (LDTs) can be transformed into polynomial-size depth-2 threshold circuits LTF o LTF. An intermediate structure is polynomial-size decision lists that refer to a conjunction of a fixed number of linear threshold functions (LTFs); we prove that these are equivalent to polynomial-size exact linear decision lists (ELDLs), which query precise threshold functions (ELTFs).

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

Unbiased estimation of inner product via higher order count sketch

Bhisham Dev Verma, Rameshwar Pratap, Manoj Thakur

Summary: Count sketch is a popular sketching algorithm used for frequency estimation in data streams and pairwise inner product for real-valued vectors. This paper extends count sketch and introduces a higher-order count sketch algorithm, which compresses input tensors to approximate the queried features. It is shown that the higher-order count sketch can also closely approximate the pairwise inner product and provides a concentration analysis of the estimate.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

A weakness in OCB3 used with short nonces allowing for a break of authenticity and confidentiality

Jean Lienardy, Frederic Lafitte

Summary: OCB3 is an authenticated encryption mode of operation that allows for associated data (AEAD), and it is known for its maturity and provable security. However, this note highlights a small flaw in the security proof of OCB3 that can result in a loss of security when using short nonces. This flaw has implications worse than nonce-repetition, as it compromises confidentiality and authenticity until the key is changed. Various approaches to fix this flaw in OCB3 are presented.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

On approximate near-neighbors search under the (continuous) Frechet distance in higher dimensions

Majid Mirzanezhad

Summary: This paper proposes the first data structure for curves under the (continuous) Frechet distance in higher dimensions, which can efficiently report all curves with distances less than a given value to a query curve. For a given k value in the preprocessing stage, we propose a deterministic data structure that can answer (1 + epsilon)delta-ANNS queries in O (kd) query time, where D is the diameter of P.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

Security weakness of a certificate-based proxy signature scheme for IIoT environments

Je Hong Park, Woo-Hwan Kim

Summary: This paper revisits Zhu et al.'s attack on a certificate-based proxy signature scheme proposed by Verma et al., and shows that the fundamental problem of Verma et al.'s scheme lies in its use of a weak ordinary signature scheme. Furthermore, the paper demonstrates that the attack against Verma et al.'s scheme can be similarly applied to the revised scheme, as they share many components using the weak signature.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

The maximum linear arrangement problem for trees under projectivity and planarity

Lluis Alemany-Puig, Juan Luis Esteban, Ramon Ferrer-i-Cancho

Summary: This study focuses on two variants of the Maximum Linear Arrangement problem, namely the planar variant for free trees and the projective variant for rooted trees. Linear time and space complexity algorithms are presented to solve these two problems. Additionally, properties of maximum projective and planar arrangements are proven, and it is shown that caterpillar trees maximize planar MaxLA among all trees of a fixed size, thereby generalizing a previous extremal result on trees.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

Anti Tai mapping for unordered labeled trees

Mislav Blazevic, Stefan Canzar, Khaled Elbassioni, Domagoj Matijevic

Summary: This paper studies the Tai mapping and anti Tai mapping problems between rooted labeled trees. For unordered trees, finding the maximum-weight Tai mapping is proven to be NP-complete. The paper provides an efficient algorithm for finding the maximum-weight anti Tai mapping and presents a polynomial computable lower bound for the optimal anti Tai mapping based on special conditions.

INFORMATION PROCESSING LETTERS (2024)

Article Computer Science, Information Systems

The facility location problem with maximum distance constraint

Xiaowei Li, Xiwen Lu

Summary: The facility location problem with maximum distance constraint is investigated and a (3,1)-approximation algorithm is proposed. The algorithm is compared with the previous one and is found to have lower memory requirements and is suitable for large-scale problems.

INFORMATION PROCESSING LETTERS (2024)