Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Yuval Spiizer

dblp:350/5783 · DBLP profile ↗
← Back
7ranked-venue papers
0as first author
7since 2021 · last 2026
0009-0005-0879-2457ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 4 · 4 since 2021Security and privacy · 2 · 2 since 2021Theory of computation · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
2 papers
Cryptographic protocols and secure computation · 59% Cryptographic primitives and cryptanalysis · 41%
Theoretical computer science
1 paper
Algorithms and data structures · 50% Automated reasoning and model checking · 50%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Algorithms and data structures › computer arithmetic
integer multiplication
1.012026
The Division Barrier: Optimal Bounds and Structural Limits in Toom-Cook Interpolation · SODA 2026
Automated reasoning and model checking › automated reasoning
interpolation
1.012026
The Division Barrier: Optimal Bounds and Structural Limits in Toom-Cook Interpolation · SODA 2026
Cryptographic primitives and cryptanalysis › public-key cryptography
public-key encryption
0.812024
Tiresias: Large Scale, UC-Secure Threshold Paillier · ASIACRYPT (3) 2024
Cryptographic protocols and secure computation
threshold cryptography
0.812024
Tiresias: Large Scale, UC-Secure Threshold Paillier · ASIACRYPT (3) 2024
Cryptographic protocols and secure computation › composable security
universally composable security
0.812024
Tiresias: Large Scale, UC-Secure Threshold Paillier · ASIACRYPT (3) 2024
Cryptographic primitives and cryptanalysis
post-quantum cryptography
0.312026
The Division Barrier: Optimal Bounds and Structural Limits in Toom-Cook Interpolation · SODA 2026

Methods — techniques the papers use, named apart from their topics

numerical stability analysis · 2.0division-free algorithms · 2.0paillier encryption · 0.8
YearPublicationVenuePosition
2026 Practical Zero-Trust Threshold Signatures in Large-Scale Asynchronous Networks
Offir Friedman, Avichai Marmor, Dolev Mutzari, Yehonatan C. Scaly, Yuval Spiizer
ACNS (1)5
2026 Minimizing Communication Costs in Inner Product Toom-Cook Algorithms
Roy Nissim, Yuval Spiizer
Euro-Par (2)2
2026 The Division Barrier: Optimal Bounds and Structural Limits in Toom-Cook Interpolation
abstract
Toom-Cook-\(k\) (\(2 \le k \in \mathbb{N}\)) is a family of fast algorithms for multiplying long integers using \(O\left(n^{\log_k(2k-1)}\right)\) arithmetic operations, offering asymptotical improvement over the naïve quadratic-time schoolbook approach. Despite this advantage, Toom-Cook algorithms often involve nontrivial divisions, divisions by elements that are not powers of \(2\), which can be both computationally expensive and numerically unstable, especially in cryptography or quantum computing applications. Reducing or eliminating these divisions is therefore of significant theoretical and practical interest.
Roy Nissim, Oded Schwartz, Yuval Spiizer
SODA3
2025 Minimizing Processor Count for Fault Tolerant Toom-Cook Algorithms
abstract
Long integer multiplication is a fundamental kernel in various scientific areas, including numerical linear algebra, cryptography, and quantum computing. Toom-Cook-k algorithms run in Θ(nlogk (2k-1)) and are often favored in practice over the Θ (n2) schoolbook algorithm. Faults are a major bottleneck in large-scale computing. The growing size of machines and decreasing operating voltages led to a reduction in the mean time between failures, with modern exascale systems experiencing an error per second. While standard fault-tolerant solutions, such as checkpoint-restart and replication, are straightforward to implement, they incur significant overhead and limit overall system utilization. Algorithm-based fault-tolerant solutions offer a more efficient alternative by leveraging the algorithm's structure, for instance, by incorporating erasure codes into the algorithm. Nissim, Schwartz, and Spiizer (2024) proposed an algorithm-based fault-tolerant solution for the parallel Toom-Cook algorithm. Their solution incurs minor arithmetic and communication costs overheads, but requires a considerable number of additional processors.
Roy Nissim, Oded Schwartz, Yuval Spiizer
SPAA3
2024 Tiresias: Large Scale, UC-Secure Threshold Paillier
Offir Friedman, Avichai Marmor, Dolev Mutzari, Yehonatan C. Scaly, Yuval Spiizer, Avishay Yanai
ASIACRYPT (3)5
2024 Minimizing I/O in Toom-Cook Algorithms
Roy Nissim, Oded Schwartz, Yuval Spiizer
Euro-Par (3)3
2024 Fault-Tolerant Parallel Integer Multiplication
abstract
Exascale machines have a small mean time between failures, necessitating fault tolerance. Out-of-the-box fault-tolerant solutions, such as checkpoint-restart and replication, apply to any algorithm but incur significant overhead costs. Long integer multiplication is a fundamental kernel in numerical linear algebra and cryptography. The naive, schoolbook multiplication algorithm runs in Θ(n2) while Toom-Cook algorithms runs in Θ(nlogk (2k-1)) for 2 ≤ k. We obtain the first efficient fault-tolerant parallel Toom-Cook algorithm. While asymptotically faster FFT-based algorithms exist, Toom-Cook algorithms are often favored in practice on small scale and on supercomputers. Our algorithm enables fault tolerance with negligible overhead costs. Compared to existing, general-purpose, fault-tolerant solutions, our algorithm reduces the arithmetic and communication (bandwidth) overhead costs by a factor of Θ(P/(2k-1)) (where P is the number of processors). To this end, we adapt the fault-tolerant BFS-DFS method of Birnbaum et al. (2020) for fast matrix multiplication and combine it with a coding strategy tailored for Toom-Cook. This eliminates the need for recomputations, resulting in a much faster algorithm.
Roy Nissim, Oded Schwartz, Yuval Spiizer
SPAA3