research
∙
07/02/2023
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits
Fault injection attacks represent a type of active, physical attack agai...
share
research
∙
11/08/2021
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
Regular expressions are a classical concept in formal language theory. R...
research
∙
07/14/2020
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
Strings are widely used in programs, especially in web applications. Int...
research
∙
04/26/2020
Monadic Decomposition in Integer Linear Arithmetic (Technical Report)
Monadic decomposability is a notion of variable independence, which asks...
research
∙
11/07/2018
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
The design and implementation of decision procedures for checking path f...
research
∙
11/02/2018
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints
We identify difference-bound set constraints (DBS), an analogy of differ...
research
∙
11/09/2017