Media Summary: At the beginning of the year Gabriel Gouvine wrote a guest blog post for us about his Hello everybody my name is Oscar season of Lou I'm with New York University Abu Dhabi and today I'll talk about Yang Xie and Ankur Srivastava, CHES 2016. See

Yosys Logic Locking Plugin On - Detailed Analysis & Overview

At the beginning of the year Gabriel Gouvine wrote a guest blog post for us about his Hello everybody my name is Oscar season of Lou I'm with New York University Abu Dhabi and today I'll talk about Yang Xie and Ankur Srivastava, CHES 2016. See So my presentation is about provably skewed This module explains whether test principles/techniques can be adopted for design-for-trust. In particular, it highlights theĀ ... This module introduces a design-for-trust technique,

ISCAS2022: Coupling Capacitance Based Hidden State Transition Synthesis for Sequential Logic Locking This module presents another SAT attack resilient

Photo Gallery

Yosys Logic Locking plugin on silicon works!
Logic Locking via Stripped Functionality
AI-HDL 2026 - Yosys Installation
Mitigating SAT Attack on Logic Locking
Lecture 57: Open-Source tool- YOSYS
Module 8 - First Attack on Logic Locking (Sensitization Attack)
YUG 10: Yosys ASIC synthesis with Emil J. Tywoniak
11 1 17 ACM CCS   Muhammad Yasin   Provably Secure Logic Locking
Module 6 - Leveraging Test Principles for Logic Locking
Module 2 - Logic Locking Fundamentals
ISCAS2022: Coupling Capacitance Based Hidden State Transition Synthesis for Sequential Logic Locking
USENIX Security '21 - Does logic locking work with EDA tools?
View Detailed Profile
Yosys Logic Locking plugin on silicon works!

Yosys Logic Locking plugin on silicon works!

At the beginning of the year Gabriel Gouvine wrote a guest blog post for us about his

Logic Locking via Stripped Functionality

Logic Locking via Stripped Functionality

Hello everybody my name is Oscar season of Lou I'm with New York University Abu Dhabi and today I'll talk about

AI-HDL 2026 - Yosys Installation

AI-HDL 2026 - Yosys Installation

AI-HDL 2026 - Yosys Installation

Mitigating SAT Attack on Logic Locking

Mitigating SAT Attack on Logic Locking

Yang Xie and Ankur Srivastava, CHES 2016. See http://www.iacr.org/cryptodb/data/paper.php?pubkey=27831.

Lecture 57: Open-Source tool- YOSYS

Lecture 57: Open-Source tool- YOSYS

This video will demonstrate the

Module 8 - First Attack on Logic Locking (Sensitization Attack)

Module 8 - First Attack on Logic Locking (Sensitization Attack)

This module presents the first attack on

YUG 10: Yosys ASIC synthesis with Emil J. Tywoniak

YUG 10: Yosys ASIC synthesis with Emil J. Tywoniak

Slides: https://docs.google.com/presentation/d/1hZIL4Qml8gPqUAMKfuV5hsg2AhSbsRBUb00PjSpqj5I/edit?usp=sharing AboutĀ ...

11 1 17 ACM CCS   Muhammad Yasin   Provably Secure Logic Locking

11 1 17 ACM CCS Muhammad Yasin Provably Secure Logic Locking

So my presentation is about provably skewed

Module 6 - Leveraging Test Principles for Logic Locking

Module 6 - Leveraging Test Principles for Logic Locking

This module explains whether test principles/techniques can be adopted for design-for-trust. In particular, it highlights theĀ ...

Module 2 - Logic Locking Fundamentals

Module 2 - Logic Locking Fundamentals

This module introduces a design-for-trust technique,

ISCAS2022: Coupling Capacitance Based Hidden State Transition Synthesis for Sequential Logic Locking

ISCAS2022: Coupling Capacitance Based Hidden State Transition Synthesis for Sequential Logic Locking

ISCAS2022: Coupling Capacitance Based Hidden State Transition Synthesis for Sequential Logic Locking

USENIX Security '21 - Does logic locking work with EDA tools?

USENIX Security '21 - Does logic locking work with EDA tools?

USENIX Security '21 - Does

Module 10 - Derivate Attacks on Logic Locking

Module 10 - Derivate Attacks on Logic Locking

This module presents another SAT attack resilient