Buchumschlag

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Michael, Alexandra E., Gollamudi, Anitha, Bosamiya, Jay, Disselkoen, Craig, Denlinger, Aidan, Watt, Conrad, Parno, Bryan, Patrignani, Marco, Vassena, Marco, Stefan, Deian
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Cryptography and Security Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
von: Gollamudi, Tarakaram, et al.
Veröffentlicht: (2025)

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
von: Aggarwal, Pranjal, et al.
Veröffentlicht: (2024)

Unsafe Impedance: Safe Languages and Safe by Design Software
von: Barney, Lee, et al.
Veröffentlicht: (2024)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
von: Braunsdorf, Oliver, et al.
Veröffentlicht: (2025)

Fundamentos de la antropología metafísica de Clarence Finlayson
von: Hugo Ochoa Disselkoen
Veröffentlicht: (2011)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
von: Lin, Zhengyao, et al.
Veröffentlicht: (2023)

Mass action systems: two criteria for Hopf bifurcation without Hurwitz
von: Vassena, Nicola
Veröffentlicht: (2024)

ClawSafety: "Safe" LLMs, Unsafe Agents
von: Wei, Bowen, et al.
Veröffentlicht: (2026)

Overview of Neutrino-Mass Determination
von: Parno, Diana S.
Veröffentlicht: (2026)

La América indígena según Clarence Finlayson
von: Hugo Renato Ochoa Disselkoen
Veröffentlicht: (2013)

El carácter dialógico de la hermenéutica de Schleiermacher. Su fundamento y sentido
von: Hugo Renato Ochoa Disselkoen
Veröffentlicht: (2009)

Disentangling Safe and Unsafe Corruptions via Anisotropy and Locality
von: Muthukumar, Ramchandran, et al.
Veröffentlicht: (2025)

Safe-Support Q-Learning: Learning without Unsafe Exploration
von: Lim, Yeeun, et al.
Veröffentlicht: (2026)

Unsafe2Safe: Controllable Image Anonymization for Downstream Utility
von: Dinh, Mih, et al.
Veröffentlicht: (2026)

Safe Vision-Language Models via Unsafe Weights Manipulation
von: D'Incà, Moreno, et al.
Veröffentlicht: (2025)

Advancing QoS in 5G Wireless Sensor Network Slicing: A Hybrid Approach Using Sparse Spectra Graph Convolutional and Supervised Bidirectional Long Short‐Term Memory Network
von: Anitha S
Veröffentlicht: (2025)

Safe + Safe = Unsafe? Exploring How Safe Images Can Be Exploited to Jailbreak Large Vision-Language Models
von: Cui, Chenhang, et al.
Veröffentlicht: (2024)

No Safe Dose: How Training Data Drives Unsafe Image Generation
von: Friedrich, Felix, et al.
Veröffentlicht: (2026)

Chapter От молчания-оружия к молчанию-диалогу (и обратно?). Парадоксальный путь Раскольникова в Преступлении и наказании
von: Dickinson, Sara, et al.
Veröffentlicht: (2023)

Chapter Парадоксальность Кроткой
von: Vassena, Raffaella, et al.
Veröffentlicht: (2023)

Mathematical modeling and analysis of the Notch-Delta pathway
von: Stevens, Angela, et al.
Veröffentlicht: (2026)

COCORELI: Enforcing Execution Preconditions for Reliable Collaborative Instruction Following
von: Bhar, Swarnadeep, et al.
Veröffentlicht: (2025)

SandCell: Sandboxing Rust Beyond Unsafe Code
von: Zhang, Jialun, et al.
Veröffentlicht: (2025)

SafeSwitch: Steering Unsafe LLM Behavior via Internal Activation Signals
von: Han, Peixuan, et al.
Veröffentlicht: (2025)

Breach By A Thousand Leaks: Unsafe Information Leakage in `Safe' AI Responses
von: Glukhov, David, et al.
Veröffentlicht: (2024)

SafeLink: Safety-Critical Control Under Dynamic and Irregular Unsafe Regions
von: Hu, Songqiao, et al.
Veröffentlicht: (2025)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
von: Ferlez, James, et al.
Veröffentlicht: (2020)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
von: Fabian, Xaver, et al.
Veröffentlicht: (2024)

ACCP Position Statement on Unregulated Psychotropic Products
von: Tao Long, et al.
Veröffentlicht: (2024)

Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
von: Paaßen, David, et al.
Veröffentlicht: (2025)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
von: Rao, Zihao, et al.
Veröffentlicht: (2024)

Computationally Bounded Robust Compilation and Universally Composable Security
von: Künnemann, Robert, et al.
Veröffentlicht: (2024)

Secure Composition of Robust and Optimising Compilers
von: Kruse, Matthis, et al.
Veröffentlicht: (2023)

Unstable Cores are the source of instability in chemical reaction networks
von: Vassena, Nicola, et al.
Veröffentlicht: (2023)

3DEditSafe: Defending 3D Editing Pipelines from Unsafe Generation
von: Meng, Nicole, et al.
Veröffentlicht: (2026)

Iron Deficiency Anemia and Ischemic Stroke in Young Adults
von: Jahnavi Gollamudi, et al.
Veröffentlicht: (2025)

ContextCov: Deriving and Enforcing Executable Constraints from Agent Instruction Files
von: Sharma, Reshabh K
Veröffentlicht: (2026)

The Interplay of Memory and Trauma in Annie's Psyche in Sierra Greer's Annie bot
von: Angelin. I, Dr. Anitha. R.
Veröffentlicht: (2025)

Consistency-Preserving Concept Erasure via Unsafe-Safe Pairing and Directional Fisher-weighted Adaptation
von: Kim, Yongwoo, et al.
Veröffentlicht: (2026)

Safe Semantics, Unsafe Interpretations: Tackling Implicit Reasoning Safety in Large Vision-Language Models
von: Cai, Wei, et al.
Veröffentlicht: (2025)