Buchumschlag

A Scalable Formal Verification Methodology for Data-Oblivious Hardware

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Deutschmann, Lucas, Mueller, Johannes, Fadiheh, Mohammad Rahmani, Stoffel, Dominik, Kunz, Wolfgang
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
von: Antón, Anna Lena Duque, et al.
Veröffentlicht: (2024)

MCU-Wide Timing Side Channels and Their Detection
von: Müller, Johannes, et al.
Veröffentlicht: (2023)

Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments
von: Schmitz, Philipp, et al.
Veröffentlicht: (2023)

Data-Oblivious ML Accelerators using Hardware Security Extensions
von: ElAtali, Hossam, et al.
Veröffentlicht: (2024)

Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification
von: Akyash, Mohammad, et al.
Veröffentlicht: (2024)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
von: Figge, Julius, et al.
Veröffentlicht: (2026)

BLACKOUT: Data-Oblivious Computation with Blinded Capabilities
von: ElAtali, Hossam, et al.
Veröffentlicht: (2025)

Formal Verification of Permission Voucher
von: Reaz, Khan, et al.
Veröffentlicht: (2024)

Accelerating Hardware Verification with Graph Models
von: Saravanan, Raghul, et al.
Veröffentlicht: (2024)

Oblivious Digital Tokens
von: Liskij, Mihael, et al.
Veröffentlicht: (2025)

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators
von: Iskander, Ray, et al.
Veröffentlicht: (2026)

Palermo: Improving the Performance of Oblivious Memory using Protocol-Hardware Co-Design
von: Ye, Haojie, et al.
Veröffentlicht: (2024)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
von: Liu, Yuwei, et al.
Veröffentlicht: (2026)

Blocklisted Oblivious Pseudorandom Functions
von: Zhang, Xinyuan, et al.
Veröffentlicht: (2025)

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
von: Blain, Dominik, et al.
Veröffentlicht: (2026)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
von: Ginesin, Jacob, et al.
Veröffentlicht: (2024)

Formal Verification for Blockchain-based Insurance Claims Processing
von: Neupane, Roshan Lal, et al.
Veröffentlicht: (2024)

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem
von: Blain, Dominik
Veröffentlicht: (2026)

ODoQ: Oblivious DNS-over-QUIC
von: Kulkarni, Aditya, et al.
Veröffentlicht: (2025)

SONNI: Secure Oblivious Neural Network Inference
von: Sperling, Luke, et al.
Veröffentlicht: (2025)

Bridging Threat Models and Detections: Formal Verification via CADP
von: Prelipcean, Dumitru-Bogdan, et al.
Veröffentlicht: (2025)

aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
von: Amiot, Noé, et al.
Veröffentlicht: (2025)

SecIC3: Customizing IC3 for Hardware Security Verification
von: Tan, Qinhan, et al.
Veröffentlicht: (2026)

From Mean to Extreme: Formal Differential Privacy Bounds on the Success of Real-World Data Reconstruction Attacks
von: Riess, Anneliese, et al.
Veröffentlicht: (2024)

ObliInjection: Order-Oblivious Prompt Injection Attack to LLM Agents with Multi-source Data
von: Wang, Reachal, et al.
Veröffentlicht: (2025)

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
von: Hasan, Khan Thamid, et al.
Veröffentlicht: (2026)

Delegated-Query Oblivious Transfer and its Practical Applications
von: Desmedt, Yvo, et al.
Veröffentlicht: (2024)

A Privacy-Preserving Graph Encryption Scheme Based on Oblivious RAM
von: Kane, Seyni, et al.
Veröffentlicht: (2024)

Formal Verification of Secure Encrypted Virtualization
von: Weerasena, Hansika, et al.
Veröffentlicht: (2026)

Oblivis: A Framework for Delegated and Efficient Oblivious Transfer
von: Abadi, Aydin, et al.
Veröffentlicht: (2026)

FOBNN: Fast Oblivious Inference via Binarized Neural Networks
von: Chen, Xin, et al.
Veröffentlicht: (2024)

VOW: Verifiable and Oblivious Watermark Detection for Large Language Models
von: Luan, Xiaokun, et al.
Veröffentlicht: (2026)

Commitment Schemes from OWFs with Applications to Quantum Oblivious Transfer
von: Lorünser, Thomas, et al.
Veröffentlicht: (2025)

TENNOR: Trustworthy Execution for Neural Networks through Obliviousness and Retrievals
von: Qu, Zifan, et al.
Veröffentlicht: (2026)

Controller Datapath Aware Verification of Masked Hardware Generated via High Level Synthesis
von: Sarma, Nilotpola, et al.
Veröffentlicht: (2026)

OblivCDN: A Practical Privacy-preserving CDN with Oblivious Content Access
von: Vo, Viet, et al.
Veröffentlicht: (2025)

On the Power of Oblivious State Preparation
von: Bartusek, James, et al.
Veröffentlicht: (2024)

Optimal Oblivious Algorithms for Multi-way Joins
von: Hu, Xiao, et al.
Veröffentlicht: (2025)

Formal Verification of the Safegcd Implementation
von: O'Connor, Russell, et al.
Veröffentlicht: (2025)

Formal Verification of the Sumcheck Protocol
von: Bosshard, Azucena Garvía, et al.
Veröffentlicht: (2024)