Cover Image

A Scalable Formal Verification Methodology for Data-Oblivious Hardware

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Deutschmann, Lucas, Mueller, Johannes, Fadiheh, Mohammad Rahmani, Stoffel, Dominik, Kunz, Wolfgang
Format:	Preprint
Published:	2023
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

MCU-Wide Timing Side Channels and Their Detection
by: Müller, Johannes, et al.
Published: (2023)

Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments
by: Schmitz, Philipp, et al.
Published: (2023)

Data-Oblivious ML Accelerators using Hardware Security Extensions
by: ElAtali, Hossam, et al.
Published: (2024)

Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification
by: Akyash, Mohammad, et al.
Published: (2024)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
by: Figge, Julius, et al.
Published: (2026)

BLACKOUT: Data-Oblivious Computation with Blinded Capabilities
by: ElAtali, Hossam, et al.
Published: (2025)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

Accelerating Hardware Verification with Graph Models
by: Saravanan, Raghul, et al.
Published: (2024)

Oblivious Digital Tokens
by: Liskij, Mihael, et al.
Published: (2025)

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

Palermo: Improving the Performance of Oblivious Memory using Protocol-Hardware Co-Design
by: Ye, Haojie, et al.
Published: (2024)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
by: Liu, Yuwei, et al.
Published: (2026)

Blocklisted Oblivious Pseudorandom Functions
by: Zhang, Xinyuan, et al.
Published: (2025)

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

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
by: Ginesin, Jacob, et al.
Published: (2024)

Formal Verification for Blockchain-based Insurance Claims Processing
by: Neupane, Roshan Lal, et al.
Published: (2024)

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

ODoQ: Oblivious DNS-over-QUIC
by: Kulkarni, Aditya, et al.
Published: (2025)

SONNI: Secure Oblivious Neural Network Inference
by: Sperling, Luke, et al.
Published: (2025)

Bridging Threat Models and Detections: Formal Verification via CADP
by: Prelipcean, Dumitru-Bogdan, et al.
Published: (2025)

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

SecIC3: Customizing IC3 for Hardware Security Verification
by: Tan, Qinhan, et al.
Published: (2026)

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

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

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study
by: Hasan, Khan Thamid, et al.
Published: (2026)

Delegated-Query Oblivious Transfer and its Practical Applications
by: Desmedt, Yvo, et al.
Published: (2024)

A Privacy-Preserving Graph Encryption Scheme Based on Oblivious RAM
by: Kane, Seyni, et al.
Published: (2024)

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

Oblivis: A Framework for Delegated and Efficient Oblivious Transfer
by: Abadi, Aydin, et al.
Published: (2026)

FOBNN: Fast Oblivious Inference via Binarized Neural Networks
by: Chen, Xin, et al.
Published: (2024)

VOW: Verifiable and Oblivious Watermark Detection for Large Language Models
by: Luan, Xiaokun, et al.
Published: (2026)

Commitment Schemes from OWFs with Applications to Quantum Oblivious Transfer
by: Lorünser, Thomas, et al.
Published: (2025)

TENNOR: Trustworthy Execution for Neural Networks through Obliviousness and Retrievals
by: Qu, Zifan, et al.
Published: (2026)

Controller Datapath Aware Verification of Masked Hardware Generated via High Level Synthesis
by: Sarma, Nilotpola, et al.
Published: (2026)

OblivCDN: A Practical Privacy-preserving CDN with Oblivious Content Access
by: Vo, Viet, et al.
Published: (2025)

On the Power of Oblivious State Preparation
by: Bartusek, James, et al.
Published: (2024)

Formal Verification of the Safegcd Implementation
by: O'Connor, Russell, et al.
Published: (2025)

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

Optimal Oblivious Algorithms for Multi-way Joins
by: Hu, Xiao, et al.
Published: (2025)