:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Yan, Pengbo
Format:	Recurso digital
Langue:	anglais
Publié:	Zenodo 2025
Accès en ligne:	https://doi.org/10.5281/zenodo.17034603
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)
par: Yan, Pengbo, et autres
Publié: (2024)

VOW: Verifiable and Oblivious Watermark Detection for Large Language Models
par: Luan, Xiaokun, et autres
Publié: (2026)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
par: Huyghebaert, Sander, et autres
Publié: (2023)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
par: Deutschmann, Lucas, et autres
Publié: (2023)

SONNI: Secure Oblivious Neural Network Inference
par: Sperling, Luke, et autres
Publié: (2025)

A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
par: Yang, Chengxi, et autres
Publié: (2025)

Supersonic OT: Fast Unconditionally Secure Oblivious Transfer
par: Abadi, Aydin, et autres
Publié: (2024)

Optimal Oblivious Algorithms for Multi-way Joins
par: Hu, Xiao, et autres
Publié: (2025)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
par: Chen, Haobin Hiroki, et autres
Publié: (2025)

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
par: Zhang, Zhuoruo, et autres
Publié: (2022)

Data-Oblivious ML Accelerators using Hardware Security Extensions
par: ElAtali, Hossam, et autres
Publié: (2024)

Alternating Maximization Algorithm for Mismatch Capacity with Oblivious Relaying
par: Li, Xinwei, et autres
Publié: (2024)

LWE with Quantum Amplitudes: Algorithm, Hardness, and Oblivious Sampling
par: Chen, Yilei, et autres
Publié: (2023)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
par: Monniaux, David
Publié: (2024)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
par: Reitz, Antonin, et autres
Publié: (2024)

A Formally Verified Lightning Network
par: Fabiański, Grzegorz, et autres
Publié: (2025)

Formally Verified Approximate Policy Iteration
par: Schäffeler, Maximilian, et autres
Publié: (2024)

Experimental Secure Multiparty Computation from Quantum Oblivious Transfer with Bit Commitment
par: Zhang, Kai-Yi, et autres
Publié: (2024)

Optimal Offline ORAM with Perfect Security via Simple Oblivious Priority Queues
par: Thießen, Thore, et autres
Publié: (2024)

Oblivious Algorithms for Maximum Directed Cut: New Upper and Lower Bounds
par: Hwang, Samuel, et autres
Publié: (2024)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
par: Baumann, Jonathan, et autres
Publié: (2026)

Oblivious Deletion Codes
par: Con, Roni, et autres
Publié: (2025)

Oblivious Digital Tokens
par: Liskij, Mihael, et autres
Publié: (2025)

Source-Oblivious Broadcast
par: Fraigniaud, Pierre, et autres
Publié: (2025)

Formally Verified Binary-level Pointer Analysis
par: Verbeek, Freek, et autres
Publié: (2025)

Formally Verified Linear-Time Invertible Lexing
par: Chassot, Samuel, et autres
Publié: (2025)

Closure Properties of General Grammars -- Formally Verified
par: Dvorak, Martin, et autres
Publié: (2023)

FormalRTL: Verified RTL Synthesis at Scale
par: Li, Kezhi, et autres
Publié: (2026)

BOLT: Bandwidth-Optimized Lightning-Fast Oblivious Map powered by Secure HBM Accelerators
par: Guo, Yitong, et autres
Publié: (2025)

Secure Multi-Party Biometric Verification using QKD assisted Quantum Oblivious Transfer
par: Ramos, Mariana F., et autres
Publié: (2025)

Beyond 2-Edge-Connectivity: Algorithms and Impossibility for Content-Oblivious Leader Election
par: Chang, Yi-Jun, et autres
Publié: (2025)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
par: Chen, Tianhao, et autres
Publié: (2024)

EByFTVeS: Efficient Byzantine Fault Tolerant-based Verifiable Secret-sharing in Distributed Privacy-preserving Machine Learning
par: Li, Zhen, et autres
Publié: (2025)

Caesar: A Deductive Verifier for Probabilistic Programs
par: Schröer, Philipp, et autres
Publié: (2026)

Verifying Relational Explanations: A Probabilistic Approach
par: Magar, Abisha Thapa, et autres
Publié: (2024)

Retracted: Secure Two-Party Computation Based on Fast Cut-and-Choose Bilateral Oblivious Transfer
par: Security and Communication Networks
Publié: (2024)

ToolRLA: Multiplicative Reward Decomposition for Tool-Integrated Agents
par: Liu, Pengbo
Publié: (2026)

Fault Oblivious Eigenvalue Solver
par: Mukherjee, Jayanta, et autres
Publié: (2025)

Blocklisted Oblivious Pseudorandom Functions
par: Zhang, Xinyuan, et autres
Publié: (2025)

Deterministic Cache-Oblivious Funnelselect
par: Brodal, Gerth Stølting, et autres
Publié: (2024)