research
∙
06/13/2023
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Effectively specifying and implementing robotic missions pose a set of c...
share
research
∙
05/24/2023
Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes
Autonomous systems often have logical constraints arising, for example, ...
research
∙
05/10/2023
Similarity-Based Logic Locking Against Machine Learning Attacks
Logic locking is a promising technique for protecting integrated circuit...
research
∙
04/28/2023
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP
Logic locking has become a promising approach to provide hardware securi...
research
∙
04/11/2023
Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers
Over the past decade, neural network (NN)-based controllers have demonst...
research
∙
01/27/2023
Safe Posterior Sampling for Constrained MDPs with Bounded Constraint Violation
Constrained Markov decision processes (CMDPs) model scenarios of sequent...
research
∙
11/21/2022
Contract-Based Specification Refinement and Repair for Mission Planning
We address the problem of modeling, refining, and repairing formal speci...
research
∙
01/16/2022
TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks
Sequential logic locking has been studied over the last decade as a meth...
research
∙
12/01/2021
ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering
Reverse engineering an integrated circuit netlist is a powerful tool to ...
research
∙
09/27/2021
Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications
We present a model-free reinforcement learning algorithm to find an opti...
research
∙
08/10/2021
Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption
The SAT attack has shown to be efficient against most combinational logi...
research
∙
10/28/2020
Designing Interpretable Approximations to Deep Reinforcement Learning with Soft Decision Trees
In an ever expanding set of research and application areas, deep neural ...
research
∙
10/11/2020
SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme
We propose SANSCrypt, a novel sequential logic encryption scheme to prot...
research
∙
09/23/2020
A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints
Constrained Markov Decision Processes (CMDPs) formalize sequential decis...
research
∙
09/28/2019
Profiling minisat based on user defined execution time – GPROF
This paper focuses on the explanation of the architecture of profilers p...
research
∙
09/13/2019