CryptoMiniSat
From MaRDI portal
Cited in
(71)- DPvis
- HaifaSat
- PolyBoRi
- An efficient SAT formulation for learning multiple criteria non-compensatory sorting rules from examples
- PySAT: a Python toolkit for prototyping with SAT oracles
- Siege
- An empirical study of branching heuristics through the lens of global learning rate
- Approximate counting in SMT and value estimation for probabilistic programs
- Solving a binary puzzle
- ApCoCoA
- Plingeling
- PrecoSAT
- Glucose
- Model counting with error-correcting codes
- A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
- An algebraic attack to the Bluetooth stream cipher \textsc{E0}
- A preimage attack on reduced \textsc{Gimli}-\textsc{Gash}
- Ranking with multiple reference points: efficient SAT-based learning procedures
- HeerHugo
- DRAT-based bit-vector proofs in CVC4
- A signature based border basis algorithm
- GlueMiniSat
- Clause vivification by unit propagation in CDCL SAT solvers
- On conversions from CNF to ANF
- Constraints for symmetry breaking in graph representation
- PMiniSAT
- Picoso
- antom
- EPCBC
- Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking
- Side-channel cryptographic attacks using pseudo-Boolean optimization
- Using SAT solvers for synchronization issues in non-deterministic automata
- Distributed cube and conquer with Paracooba
- iSat
- Extreme cases in SAT problems
- Learning rate based branching heuristic for SAT solvers
- SpyBug: automated bug detection in the configuration space of SAT solvers
- DRAT proofs for XOR reasoning
- Coprocessor
- Spybug
- An expressive model for instance decomposition based parallel SAT solvers
- Efficient CNF simplification based on binary implication graphs
- satUZK
- Formal analysis of the entropy / security trade-off in first-order masking countermeasures against side-channel attacks
- Research on fault-tolerant algebraic fault attack on HIGHT
- A practical attack on patched MIFARE Classic
- Observations on the \textsf{SIMON} block cipher family
- MiFuMax
- pylgl
- abcdSAT
- MapleSAT
- Syrup
- MapleAmpharos
- Lingeling
- BooleForce
- Algebraic Side-Channel Attacks Beyond the Hamming Weight Leakage Model
- An overview of parallel SAT solving
- Reformulation based MaxSat robustness
- Algorithm runtime prediction: methods \& evaluation
- Optimizing Guessing Strategies for Algebraic Cryptanalysis with Applications to EPCBC
- Stronger Inference through Implied Literals from Conflicts and Knapsack Covers
- Applications of SAT solvers in cryptanalysis: finding weak keys and preimages
- The configurable SAT solver challenge (CSSC)
- Observing biases in the state: case studies with Trivium and Trivia-SC
- \(D_2\)-synchronization in nondeterministic automata
- A chosen IV related key attack on Grain-128a
- Soundness of inprocessing in clause sharing SAT solvers
- Maple_LCM_Dist_ChronoBT
- Sparrow2Riss
- Stream/block ciphers, difference equations and algebraic attacks
- Subsampling and knowledge distillation on adversarial examples: new techniques for deep learning based side channel evaluations
This page was built for software: CryptoMiniSat
