Copertina

SecRef: Securely Sharing Mutable References Between Verified and Unverified Code in F

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Andrici, Cezar-Constantin, Ahman, Danel, Hritcu, Catalin, Icleanu, Ruxandra, Martínez, Guido, Rivas, Exequiel, Winterhalter, Théo
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Misquoted No More: Securely Extracting F* Programs with IO
di: Andrici, Cezar-Constantin, et al.
Pubblicazione: (2026)

Comodule Representations of Second-Order Functionals
di: Ahman, Danel, et al.
Pubblicazione: (2024)

Formalising CRDTs in Agda
di: Ibrus, Marlene, et al.
Pubblicazione: (2025)

Sheaves as oracle computations
di: Ahman, Danel, et al.
Pubblicazione: (2026)

Higher-Order Asynchronous Effects
di: Ahman, Danel, et al.
Pubblicazione: (2023)

A simple formalization of alpha-equivalence
di: Apinis, Kalmer, et al.
Pubblicazione: (2025)

Strong Normalisation for Asynchronous Effects
di: Ahman, Danel, et al.
Pubblicazione: (2026)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
di: Thibault, Jérémy, et al.
Pubblicazione: (2025)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
di: Baumann, Jonathan, et al.
Pubblicazione: (2026)

Dynamic IFC Theorems for Free!
di: Algehed, Maximilian, et al.
Pubblicazione: (2020)

Verifying a Realistic Mutable Hash Table
di: Chassot, Samuel, et al.
Pubblicazione: (2021)

Secret Sharing in 5G-MEC: Applicability for joint Security and Dependability
di: Pathirana, Thilina, et al.
Pubblicazione: (2025)

Beyond Verifiable Rewards: Scaling Reinforcement Learning for Language Models to Unverifiable Data
di: Tang, Yunhao, et al.
Pubblicazione: (2025)

LibRef-L: Sharing Reference Expertise over the Academic Networks.
di: Robinson, Kara, et al.
Pubblicazione: (1993)

FSLH: Flexible Mechanized Speculative Load Hardening
di: Baumann, Jonathan, et al.
Pubblicazione: (2025)

Impact of Cyberchondria on Unverified Health Information Sharing: A Moderated Mediation Approach
di: Qian Xiao, et al.
Pubblicazione: (2025)

Fibrations of algebras
di: Ahman, Danel, et al.
Pubblicazione: (2024)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
di: Thibault, Jérémy, et al.
Pubblicazione: (2024)

SecDOAR: A Software Reference Architecture for Security Data Orchestration, Analysis and Reporting
di: Chauhan, Muhammad Aufeef, et al.
Pubblicazione: (2024)

The Impact of Mutability on Cyclomatic Complexity in Java
di: Bagaev, Marat, et al.
Pubblicazione: (2024)

RefCut: Interactive Segmentation with Reference Guidance
di: Lin, Zheng, et al.
Pubblicazione: (2025)

Self-Resolving Prediction Markets for Unverifiable Outcomes
di: Srinivasan, Siddarth, et al.
Pubblicazione: (2023)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
di: Blot, Valentin, et al.
Pubblicazione: (2024)

(Appendix 1, page 78-79) Iron and manganese in Baltic Sea concretions
di: Winterhalter, Boris
Pubblicazione: (1966)

(Table 8, page 47) Concentrations of certain minor constituents in iron-manganese nodules from the Baltic Sea
di: Winterhalter, Boris
Pubblicazione: (1966)

Annotated record and chemical composition of iron-manganese nodules from the Baltic Sea
di: Winterhalter, Boris
Pubblicazione: (1966)

Annotated record of the detailed examination of ferromanganese concretions from the Baltic Sea
di: Winterhalter, Boris
Pubblicazione: (1966)

(Table 6, page 45) Phosphorus and water contents and loss on ignition in Fe-Mn concretions from the Baltic Sea
di: Winterhalter, Boris
Pubblicazione: (1966)

Extended Abstract: Mutable Objects with Several Implementations
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)

RefTok: Reference-Based Tokenization for Video Generation
di: Fan, Xiang, et al.
Pubblicazione: (2025)

RefAlign: Representation Alignment for Reference-to-Video Generation
di: Wang, Lei, et al.
Pubblicazione: (2026)

Body Image and the Ambivalence of Sugar as Heritage Among Cuban Dancers
di: Ruxandra Ana
Pubblicazione: (2019)

The InfoSec Handbook An Introduction to Information Security
di: Umesh Hodeghatta Rao

RefVSR++: Exploiting Reference Inputs for Reference-based Video Super-resolution
di: Zou, Han, et al.
Pubblicazione: (2023)

Security-Aware Availability Modeling of a 5G-MEC System
di: Pathirana, Thilina, et al.
Pubblicazione: (2024)

Hybridity, Mutability, Multiplicity: Theorizing Electronic Library Collections.
di: Manoff, Marlene
Pubblicazione: (2000)

RefTon: Reference person shot assist virtual Try-on
di: Li, Liuzhuozheng, et al.
Pubblicazione: (2025)

MultiRef: Controllable Image Generation with Multiple Visual References
di: Chen, Ruoxi, et al.
Pubblicazione: (2025)

Ref-AVS: Refer and Segment Objects in Audio-Visual Scenes
di: Wang, Yaoting, et al.
Pubblicazione: (2024)

BluRef: Unsupervised Image Deblurring with Dense-Matching References
di: Pham, Bang-Dang, et al.
Pubblicazione: (2026)