Demo Data from VLDB 2026 / reviewers in the wild / expert
Yuval Spiizer
dblp:350/5783
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Algorithms and data structures › computer arithmetic
integer multiplication |
1.0 | 1 | 2026 | The Division Barrier: Optimal Bounds and Structural Limits in Toom-Cook Interpolation · SODA 2026 |
Automated reasoning and model checking › automated reasoning
interpolation |
1.0 | 1 | 2026 | 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.8 | 1 | 2024 | Tiresias: Large Scale, UC-Secure Threshold Paillier · ASIACRYPT (3) 2024 |
Cryptographic protocols and secure computation
threshold cryptography |
0.8 | 1 | 2024 | Tiresias: Large Scale, UC-Secure Threshold Paillier · ASIACRYPT (3) 2024 |
Cryptographic protocols and secure computation › composable security
universally composable security |
0.8 | 1 | 2024 | Tiresias: Large Scale, UC-Secure Threshold Paillier · ASIACRYPT (3) 2024 |
Cryptographic primitives and cryptanalysis
post-quantum cryptography |
0.3 | 1 | 2026 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 InterpolationabstractToom-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 |
SODA | 3 |
| 2025 | Minimizing Processor Count for Fault Tolerant Toom-Cook AlgorithmsabstractLong 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 |
SPAA | 3 |
| 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 MultiplicationabstractExascale 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 |
SPAA | 3 |