搜索结果: 1-15 共查到“SAT”相关记录49条 . 查询时间(0.187 秒)
从SAT到SMT——逻辑约束求解研究获新突破（图）
SAT SMT 逻辑约束求解
2023/3/15
近日，中国科学院软件研究所蔡少伟团队在逻辑约束求解器研究中获得新突破，SAT求解器和SMT求解器研究上的成果被重要期刊和会议录用，并在SAT、MaxSAT和SMT竞赛中斩获佳绩。
求解器被誉为“工业软件之魂”，是继芯片与操作系统之后的国之重器。命题逻辑可满足性问题（SAT）和可满足性模理论问题（SMT）是两个最重要的逻辑约束问题，SAT是命题逻辑上的约束求解问题， SMT是一阶谓词逻辑上的约束求...
近日，计算机科学与工程学院（网络空间安全学院）2017级本科生和肖鸣宇教授撰写的论文“A Fast Algorithm for SAT in Terms of Formula Length”被计算机科学理论方向重要国际会议SAT 2021接收，彭俊强为论文第一作者。SAT会议（The International Conferences on Theory and Applications of S...
Ci-Lock: Cipher Induced Logic Locking Resistant Against SAT Attacks
Logic locking Block cipher Hardware obfuscation
2019/8/30
Protection of intellectual property (IP) cores is one of the most practical security concern for modern integrated circuit (IC) industry. Albeit being well-studied from a practical perspective, the pr...
SAT-attack is known to successfully decrypt a functionally correct key of a locked combinational circuit. It is possible to extend the SAT-attack to sequential circuits through the scan-chain by selec...
A SAT-based approach for index calculus on binary elliptic curves
discrete logarithm index calculus elliptic curves
2019/3/22
Logical cryptanalysis, first introduced by Massacci in 2000, is a viable alternative to common algebraic cryptanalysis techniques over boolean fields. With XOR operations being at the core of many cry...
BeSAT: Behavioral SAT-based Attack on Cyclic Logic Encryption
logic encryption SAT-based attack cyclic circuit
2019/1/26
Cyclic logic encryption is newly proposed in the area of hardware security. It introduces feedback cycles into the circuit to defeat existing logic decryption techniques. To ensure that the circuit is...
SigAttack: New High-level SAT-based Attack on Logic Encryptions
logic encryption attack SAT
2019/1/26
Logic encryption is a powerful hardware protection technique that uses extra key inputs to lock a circuit from piracy or unauthorized use. The recent discovery of the SAT-based attack with Distinguish...
SAT-based Bit-flipping Attack on Logic Encryptions
logic encryption SAT-based attack security analysis
2017/12/6
Logic encryption is a hardware security technique that uses extra key inputs to prevent unauthorized use of a circuit. With the discovery of the SAT-based attack, new encryption techniques such as SAR...
Logic locking is a technique that's proposed to protect outsourced IC designs from piracy and counterfeiting by untrusted foundries. A locked IC preserves the correct functionality only when a correct...
CycSAT: SAT-Based Attack on Cyclic Logic Encryptions
hardware security logic encryption SAT
2017/6/28
Cyclic logic encryption is a newly proposed circuit obfuscation technique in hardware security. It was claimed to be SAT-unresolvable because feedback cycles were intentionally inserted under keys int...
SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition
SAT solvers SAT-based cryptanalysis logic cryptanalysis
2016/12/7
We investigate six authenticated encryption schemes (ACORN, ASCON-128a, Ketje
Jr, ICEPOLE-128a, MORUS, and NORX-32) from the CAESAR competition. We
aim at state recovery attacks using a SAT solver a...
A SAT-Based Algorithm for Finding Short Cycles in Shift Register Based Stream Ciphers
stream cipher Trivium Grain
2016/12/7
This paper addresses the problem of finding short cycles in the internal state space of shift register based stream ciphers. The absence of short cycles is a desirable property for stream ciphers beca...
Logic locking is a technique that has been proposed to protect
outsourced IC designs from piracy and counterfeiting by untrusted
foundries. A locked IC preserves the correct functionality only when ...
SAT-based cryptanalysis of ACORN
SAT-based cryptanalysis CAESAR competition Authenticated encryption
2016/5/30
The CAESAR competition aims to provide a portfolio of authenticated encryption algorithms.
SAT solvers represent powerful tools to verify automatically and efficiently (among others) the
confidentia...
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.