Pages that link to "Item:Q3502695"
From MaRDI portal
The following pages link to Attacking Bivium Using SAT Solvers (Q3502695):
Displaying 16 items.
- Optimising Gröbner bases on Bivium (Q626947) (← links)
- ALIAS: a modular tool for finding backdoors for SAT (Q1656599) (← links)
- An algebraic attack to the Bluetooth stream cipher \textsc{E0} (Q2081340) (← links)
- On the efficiency of solving Boolean polynomial systems with the characteristic set method (Q2211189) (← links)
- Analysis of Boomerang Differential Trails via a SAT-Based Constraint Solver URSA (Q2794507) (← links)
- Mutant Differential Fault Analysis of Trivium MDFA (Q2942851) (← links)
- Attacking Bivium and Trivium with the Characteristic Set Method (Q3011904) (← links)
- Improving OBDD attacks against stream ciphers (Q3383118) (← links)
- Numerical solvers and cryptanalysis (Q3400069) (← links)
- Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages (Q5015592) (← links)
- On black-box optimization in divide-and-conquer SAT solving (Q5085259) (← links)
- (Q5109519) (← links)
- Finding Effective SAT Partitionings Via Black-Box Optimization (Q5153508) (← links)
- A Volunteer-Computing-Based Grid Architecture Incorporating Idle Resources of Computational Clusters (Q5275037) (← links)
- (Q6168493) (← links)
- Internal state recovery attack on stream ciphers: breaking BIVIUM (Q6535917) (← links)