:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Liu, Yuntao, Zuzak, Michael, Xie, Yang, Chakraborty, Abhishek, Srivastava, Ankur
Formato:	Preprint
Publicado:	2021
Materias:	Cryptography and Security Hardware Architecture Formal Languages and Automata Theory
Acceso en línea:	https://arxiv.org/abs/2101.02577
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Automated Formal Verification of a Highly-Configurable Register Generator
por: Zhang, Shuhang, et al.
Publicado: (2024)

In-Memory Sorting-Searching with Cayley Tree
por: Paul, Subrata, et al.
Publicado: (2025)

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
por: Christ, Derek, et al.
Publicado: (2026)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
por: Crochet, Christophe, et al.
Publicado: (2025)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
por: Zhang, Qifan, et al.
Publicado: (2025)

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

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
por: Amorim, Arthur, et al.
Publicado: (2026)

Verification and Attack Synthesis for Network Protocols
por: von Hippel, Max
Publicado: (2025)

Attack Tree Generation via Process Mining
por: Konsta, Alyzia-Maria, et al.
Publicado: (2024)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
por: Li, Nanbing, et al.
Publicado: (2026)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
por: Modesti, Paolo, et al.
Publicado: (2021)

Reachability Analysis of the Domain Name System
por: Nevatia, Dhruv, et al.
Publicado: (2024)

Regular Expression Denial of Service Induced by Backreferences
por: Liu, Yichen, et al.
Publicado: (2026)

Privacy-Preserving Runtime Verification
por: Henzinger, Thomas A., et al.
Publicado: (2025)

Automated generation of attack trees with optimal shape and labelling
por: Gadyatskaya, Olga, et al.
Publicado: (2023)

Sharing The Secret: Distributed Privacy-Preserving Monitoring
por: Karimi, Mahyar, et al.
Publicado: (2026)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
por: Waga, Masaki, et al.
Publicado: (2024)

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
por: Ziiatdinov, Mansur, et al.
Publicado: (2024)

Formally Verifying Noir Zero Knowledge Programs with NAVe
por: Antonino, Pedro, et al.
Publicado: (2026)

Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators
por: A, Bhuvaneswari, et al.
Publicado: (2026)

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

The Bright Side of Timed Opacity
por: André, Étienne, et al.
Publicado: (2024)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
por: Ye, Kangfeng, et al.
Publicado: (2025)

Agentproof: Static Verification of Agent Workflow Graphs
por: Xavier, Melwin, et al.
Publicado: (2026)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
por: Khakpour, Narges, et al.
Publicado: (2025)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
por: Shi, Chenhao, et al.
Publicado: (2023)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
por: Amorim, Arthur, et al.
Publicado: (2024)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
por: Zhang, Linpeng, et al.
Publicado: (2024)

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

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

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
por: Moran, Murat
Publicado: (2026)

Executable QR codes with Machine Learning for Industrial Applications
por: Scanzio, Stefano, et al.
Publicado: (2024)

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
por: Basin, David, et al.
Publicado: (2025)

Automata Size Reduction by Procedure Finding
por: Šedý, Michal, et al.
Publicado: (2024)

ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips
por: Sheikh, Ahmad T., et al.
Publicado: (2024)

Prime+Retouch: When Cache is Locked and Leaked
por: Lee, Jaehyuk, et al.
Publicado: (2024)

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

PDF: PUF-based DNN Fingerprinting for Knowledge Distillation Traceability
por: Lyu, Ning, et al.
Publicado: (2026)

The Impact of Run-Time Variability on Side-Channel Attacks Targeting FPGAs
por: Galli, Davide, et al.
Publicado: (2024)

TroLLoc: Logic Locking and Layout Hardening for IC Security Closure against Hardware Trojans
por: Wang, Fangzhou, et al.
Publicado: (2024)