Salvato in:
| Autori principali: | Liu, Yuntao, Zuzak, Michael, Xie, Yang, Chakraborty, Abhishek, Srivastava, Ankur |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2021
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2101.02577 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Automated Formal Verification of a Highly-Configurable Register Generator
di: Zhang, Shuhang, et al.
Pubblicazione: (2024)
di: Zhang, Shuhang, et al.
Pubblicazione: (2024)
In-Memory Sorting-Searching with Cayley Tree
di: Paul, Subrata, et al.
Pubblicazione: (2025)
di: Paul, Subrata, et al.
Pubblicazione: (2025)
DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
di: Christ, Derek, et al.
Pubblicazione: (2026)
di: Christ, Derek, et al.
Pubblicazione: (2026)
Formally Discovering and Reproducing Network Protocols Vulnerabilities
di: Crochet, Christophe, et al.
Pubblicazione: (2025)
di: Crochet, Christophe, et al.
Pubblicazione: (2025)
Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
di: Zhang, Qifan, et al.
Pubblicazione: (2025)
di: Zhang, Qifan, et al.
Pubblicazione: (2025)
TroLL: Exploiting Structural Similarities between Logic Locking and Hardware Trojans
di: Liu, Yuntao, et al.
Pubblicazione: (2023)
di: Liu, Yuntao, et al.
Pubblicazione: (2023)
From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
di: Amorim, Arthur, et al.
Pubblicazione: (2026)
di: Amorim, Arthur, et al.
Pubblicazione: (2026)
Verification and Attack Synthesis for Network Protocols
di: von Hippel, Max
Pubblicazione: (2025)
di: von Hippel, Max
Pubblicazione: (2025)
Attack Tree Generation via Process Mining
di: Konsta, Alyzia-Maria, et al.
Pubblicazione: (2024)
di: Konsta, Alyzia-Maria, et al.
Pubblicazione: (2024)
Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
di: Li, Nanbing, et al.
Pubblicazione: (2026)
di: Li, Nanbing, et al.
Pubblicazione: (2026)
Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
di: Modesti, Paolo, et al.
Pubblicazione: (2021)
di: Modesti, Paolo, et al.
Pubblicazione: (2021)
Reachability Analysis of the Domain Name System
di: Nevatia, Dhruv, et al.
Pubblicazione: (2024)
di: Nevatia, Dhruv, et al.
Pubblicazione: (2024)
Regular Expression Denial of Service Induced by Backreferences
di: Liu, Yichen, et al.
Pubblicazione: (2026)
di: Liu, Yichen, et al.
Pubblicazione: (2026)
Privacy-Preserving Runtime Verification
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)
Automated generation of attack trees with optimal shape and labelling
di: Gadyatskaya, Olga, et al.
Pubblicazione: (2023)
di: Gadyatskaya, Olga, et al.
Pubblicazione: (2023)
Sharing The Secret: Distributed Privacy-Preserving Monitoring
di: Karimi, Mahyar, et al.
Pubblicazione: (2026)
di: Karimi, Mahyar, et al.
Pubblicazione: (2026)
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
di: Waga, Masaki, et al.
Pubblicazione: (2024)
di: Waga, Masaki, et al.
Pubblicazione: (2024)
Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
di: Ziiatdinov, Mansur, et al.
Pubblicazione: (2024)
di: Ziiatdinov, Mansur, et al.
Pubblicazione: (2024)
Formally Verifying Noir Zero Knowledge Programs with NAVe
di: Antonino, Pedro, et al.
Pubblicazione: (2026)
di: Antonino, Pedro, et al.
Pubblicazione: (2026)
Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators
di: A, Bhuvaneswari, et al.
Pubblicazione: (2026)
di: A, Bhuvaneswari, et al.
Pubblicazione: (2026)
The Impact of Logic Locking on Confidentiality: An Automated Evaluation
di: Reimann, Lennart M., et al.
Pubblicazione: (2025)
di: Reimann, Lennart M., et al.
Pubblicazione: (2025)
The Bright Side of Timed Opacity
di: André, Étienne, et al.
Pubblicazione: (2024)
di: André, Étienne, et al.
Pubblicazione: (2024)
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
di: Ye, Kangfeng, et al.
Pubblicazione: (2025)
di: Ye, Kangfeng, et al.
Pubblicazione: (2025)
Agentproof: Static Verification of Agent Workflow Graphs
di: Xavier, Melwin, et al.
Pubblicazione: (2026)
di: Xavier, Melwin, et al.
Pubblicazione: (2026)
Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
di: Khakpour, Narges, et al.
Pubblicazione: (2025)
di: Khakpour, Narges, et al.
Pubblicazione: (2025)
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
di: Shi, Chenhao, et al.
Pubblicazione: (2023)
di: Shi, Chenhao, et al.
Pubblicazione: (2023)
Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
di: Amorim, Arthur, et al.
Pubblicazione: (2024)
di: Amorim, Arthur, et al.
Pubblicazione: (2024)
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
di: Zhang, Linpeng, et al.
Pubblicazione: (2024)
di: Zhang, Linpeng, et al.
Pubblicazione: (2024)
Utilizing Layout Effects for Analog Logic Locking
di: Aljafar, Muayad J., et al.
Pubblicazione: (2024)
di: Aljafar, Muayad J., et al.
Pubblicazione: (2024)
Exploiting the Lock: Leveraging MiG-V's Logic Locking for Secret-Data Extraction
di: Reimann, Lennart M., et al.
Pubblicazione: (2024)
di: Reimann, Lennart M., et al.
Pubblicazione: (2024)
Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
di: Moran, Murat
Pubblicazione: (2026)
di: Moran, Murat
Pubblicazione: (2026)
Executable QR codes with Machine Learning for Industrial Applications
di: Scanzio, Stefano, et al.
Pubblicazione: (2024)
di: Scanzio, Stefano, et al.
Pubblicazione: (2024)
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
di: Basin, David, et al.
Pubblicazione: (2025)
di: Basin, David, et al.
Pubblicazione: (2025)
Automata Size Reduction by Procedure Finding
di: Šedý, Michal, et al.
Pubblicazione: (2024)
di: Šedý, Michal, et al.
Pubblicazione: (2024)
ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips
di: Sheikh, Ahmad T., et al.
Pubblicazione: (2024)
di: Sheikh, Ahmad T., et al.
Pubblicazione: (2024)
Prime+Retouch: When Cache is Locked and Leaked
di: Lee, Jaehyuk, et al.
Pubblicazione: (2024)
di: Lee, Jaehyuk, et al.
Pubblicazione: (2024)
TLGLock: A New Approach in Logic Locking Using Key-Driven Charge Recycling in Threshold Logic Gates
di: Sahruri, Abdullah, et al.
Pubblicazione: (2025)
di: Sahruri, Abdullah, et al.
Pubblicazione: (2025)
PDF: PUF-based DNN Fingerprinting for Knowledge Distillation Traceability
di: Lyu, Ning, et al.
Pubblicazione: (2026)
di: Lyu, Ning, et al.
Pubblicazione: (2026)
The Impact of Run-Time Variability on Side-Channel Attacks Targeting FPGAs
di: Galli, Davide, et al.
Pubblicazione: (2024)
di: Galli, Davide, et al.
Pubblicazione: (2024)
TroLLoc: Logic Locking and Layout Hardening for IC Security Closure against Hardware Trojans
di: Wang, Fangzhou, et al.
Pubblicazione: (2024)
di: Wang, Fangzhou, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Automated Formal Verification of a Highly-Configurable Register Generator
di: Zhang, Shuhang, et al.
Pubblicazione: (2024) -
In-Memory Sorting-Searching with Cayley Tree
di: Paul, Subrata, et al.
Pubblicazione: (2025) -
DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
di: Christ, Derek, et al.
Pubblicazione: (2026) -
Formally Discovering and Reproducing Network Protocols Vulnerabilities
di: Crochet, Christophe, et al.
Pubblicazione: (2025) -
Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
di: Zhang, Qifan, et al.
Pubblicazione: (2025)