Stars
A program in C that takes input variable values and performs sequential and combinational digital logic operations.
Basic combinational logic circuit fault simulation
pramodsu / pyLingeling
Forked from pysmt/pyPicoSATLingeling SAT Solver Python Wrapper
ABC: System for Sequential Logic Synthesis and Formal Verification
I was selected to be a Winter Research Intern at IIT Guwahati where I worked on principles of different logic locking techniques as well as defence mechanisms.
A basic implementation of a SAT attack on logic locking.
Python-based Verilog Parser (currently Netlist only)
A replication study of a published paper using an ANN to detect hardware trojans
PCBench is a free open-source benchmark for board-level hardware attacks and Trojans.
This is a project for my hardware security class that takes in a gate level design for a circuit and then adds the defined trojan to the design
Example of hardware trojan in a router detected with formal property verification
The repo contains the binary to perform RTL information tracking for hardware Trojan and hardware vulnerabilities detection and tracking.
The program is the implementation of the paper "Lifetime Reliability Trojan based on Malicious Aging", proposed in ATS (Asia Test Symposium) 2018.
Hardware Trojan Detection and Deceptional Analysis using Prospect Theory and Hypergame Theory
This project uses reverse engineering-based ML approach for Hardware-Trojan detection. Here, supervised Deep Neural Network (DNN) is implemented for detecting whether a chip is golden (Trojan-free)…
Machine Learning Techniques for Hardware Trojan Detection
Hardware Trojan Detection using a Game Theoretic Approach. Written in Python.