Copertina

Evaluating the Indistinguishability of Logic Locking using K-Cut Enumeration and Boolean Matching

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cruz, Jonathan, Hamlet, Jason
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Computational Indistinguishability and Logical Relations
di: Lago, Ugo Dal, et al.
Pubblicazione: (2024)

K-Gate Lock: Multi-Key Logic Locking Using Input Encoding Against Oracle-Guided Attacks
di: Lopez, Kevin, et al.
Pubblicazione: (2025)

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
di: de Castelnau, Julien, et al.
Pubblicazione: (2025)

The Impact of Logic Locking on Confidentiality: An Automated Evaluation
di: Reimann, Lennart M., et al.
Pubblicazione: (2025)

Cute-Lock: Behavioral and Structural Multi-Key Logic Locking Using Time Base Keys
di: Lopez, Kevin, et al.
Pubblicazione: (2025)

SubLock: Sub-Circuit Replacement based Input Dependent Key-based Logic Locking for Robust IP Protection
di: Rathor, Vijaypal Singh, et al.
Pubblicazione: (2024)

RESAA: A Removal and Structural Analysis Attack Against Compound Logic Locking
di: Almeida, Felipe, et al.
Pubblicazione: (2024)

Utilizing Layout Effects for Analog Logic Locking
di: Aljafar, Muayad J., et al.
Pubblicazione: (2024)

LockForge: Automating Paper-to-Code for Logic Locking with Multi-Agent Reasoning LLMs
di: Saha, Akashdeep, et al.
Pubblicazione: (2025)

Exploiting the Lock: Leveraging MiG-V's Logic Locking for Secret-Data Extraction
di: Reimann, Lennart M., et al.
Pubblicazione: (2024)

Hush! Protecting Secrets During Model Training: An Indistinguishability Approach
di: Ganesh, Arun, et al.
Pubblicazione: (2025)

How to Use Quantum Indistinguishability Obfuscation
di: Coladangelo, Andrea, et al.
Pubblicazione: (2023)

CAC 2.0: A Corrupt and Correct Logic Locking Technique Resilient to Structural Analysis Attacks
di: Aksoy, Levent, et al.
Pubblicazione: (2024)

LIPSTICK: Corruptibility-Aware and Explainable Graph Neural Network-based Oracle-Less Attack on Logic Locking
di: Aghamohammadi, Yeganeh, et al.
Pubblicazione: (2024)

Late Breaking Results: On the One-Key Premise of Logic Locking
di: Hu, Yinghua, et al.
Pubblicazione: (2024)

Simultaneous Haar Indistinguishability with Applications to Unclonable Cryptography
di: Ananth, Prabhanjan, et al.
Pubblicazione: (2024)

DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks
di: Hu, Yinghua, et al.
Pubblicazione: (2024)

SoK: Security of Programmable Logic Controllers
di: López-Morales, Efrén, et al.
Pubblicazione: (2024)

TroLL: Exploiting Structural Similarities between Logic Locking and Hardware Trojans
di: Liu, Yuntao, et al.
Pubblicazione: (2023)

Quantum Statistical Witness Indistinguishability
di: Nassar, Shafik, et al.
Pubblicazione: (2025)

Scalable Time-Lock Puzzle
di: Abadi, Aydin, et al.
Pubblicazione: (2023)

SBN Explorer: An Empirical Study of Cryptographic Boolean Networks
di: Valence, Arnaud
Pubblicazione: (2026)

Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
di: Skees, Colton
Pubblicazione: (2024)

The Normal Distributions Indistinguishability Spectrum and its Application to Privacy-Preserving Machine Learning
di: Wei, Yu, et al.
Pubblicazione: (2023)

Balance-Based Cryptography: Physically Computing Any Boolean Function
di: Ruangwises, Suthee
Pubblicazione: (2025)

LLA: Enhancing Security and Privacy for Generative Models with Logic-Locked Accelerators
di: Li, You, et al.
Pubblicazione: (2025)

A Machine Learning-Based Framework for Assessing Cryptographic Indistinguishability of Lightweight Block Ciphers
di: Dani, Jimmy, et al.
Pubblicazione: (2024)

AuthOr: Lower Cost Authenticity-Oriented Garbling for Arbitrary Boolean Circuits
di: Biçer, Osman, et al.
Pubblicazione: (2025)

TLGLock: A New Approach in Logic Locking Using Key-Driven Charge Recycling in Threshold Logic Gates
di: Sahruri, Abdullah, et al.
Pubblicazione: (2025)

Beyond Indistinguishability: Measuring Extraction Risk in LLM APIs
di: Liu, Ruixuan, et al.
Pubblicazione: (2026)

Mathematical Model of Strong Physically Unclonable Functions Based on Hybrid Boolean Networks
di: Charlot, Noeloikeau, et al.
Pubblicazione: (2022)

From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification
di: Iskander, Ray, et al.
Pubblicazione: (2026)

Hey there! You are using WhatsApp: Enumerating Three Billion Accounts for Security and Privacy
di: Gegenhuber, Gabriel K., et al.
Pubblicazione: (2025)

Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion
di: Lee, Seoksu, et al.
Pubblicazione: (2026)

Adaptive Fuzzy Logic-Based Steganographic Encryption Framework: A Comprehensive Experimental Evaluation
di: Joshi, Aadi, et al.
Pubblicazione: (2026)

A Transfer Learning Approach to Unveil the Role of Windows Common Configuration Enumerations in IEC 62443 Compliance
di: Bicudo, Miguel, et al.
Pubblicazione: (2026)

Matching Ranks Over Probability Yields Truly Deep Safety Alignment
di: Vega, Jason, et al.
Pubblicazione: (2025)

BRASP: Boolean Range Queries over Encrypted Spatial Data with Access and Search Pattern Privacy
di: Zhang, Jing, et al.
Pubblicazione: (2026)

Constructions of Efficiently Implementable Boolean Functions with Provable Nonlinearity/Resiliency/Algebraic Immunity Trade-Offs
di: Sarkar, Palash
Pubblicazione: (2025)

Testing a cellular automata construction method to obtain 9-variable cryptographic Boolean functions
di: Prévost, Thomas, et al.
Pubblicazione: (2025)