Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
type: Item
instance of: scholarly article
title: Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
zbMATH Open document ID: 0968.68052
DOI: 10.1023/A:1006326723002
author: Fabio Massacci
author: Laura Marraro
published in: Journal of Automated Reasoning
publication date: 2001-05-01T00:00:00Z
Mathematics Subject Classification ID: 68P25
zbMATH DE Number: 1449098
zbMATH Keywords: logical cryptanalysis
zbMATH Keywords: SAT problems
describes a project that uses: SATO
MaRDI profile type: Publication
full work available at URL: a:1006326723002
OpenAlex ID: W1583771634
Wikidata QID: Q56040398
description: scientific article; zbMATH DE number 1449098