Copertina

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Michael, Alexandra E., Gollamudi, Anitha, Bosamiya, Jay, Disselkoen, Craig, Denlinger, Aidan, Watt, Conrad, Parno, Bryan, Patrignani, Marco, Vassena, Marco, Stefan, Deian
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Cryptography and Security Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
di: Gollamudi, Tarakaram, et al.
Pubblicazione: (2025)

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
di: Aggarwal, Pranjal, et al.
Pubblicazione: (2024)

Unsafe Impedance: Safe Languages and Safe by Design Software
di: Barney, Lee, et al.
Pubblicazione: (2024)

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

Fundamentos de la antropología metafísica de Clarence Finlayson
di: Hugo Ochoa Disselkoen
Pubblicazione: (2011)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
di: Lin, Zhengyao, et al.
Pubblicazione: (2023)

Mass action systems: two criteria for Hopf bifurcation without Hurwitz
di: Vassena, Nicola
Pubblicazione: (2024)

ClawSafety: "Safe" LLMs, Unsafe Agents
di: Wei, Bowen, et al.
Pubblicazione: (2026)

Overview of Neutrino-Mass Determination
di: Parno, Diana S.
Pubblicazione: (2026)

La América indígena según Clarence Finlayson
di: Hugo Renato Ochoa Disselkoen
Pubblicazione: (2013)

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

Disentangling Safe and Unsafe Corruptions via Anisotropy and Locality
di: Muthukumar, Ramchandran, et al.
Pubblicazione: (2025)

Safe-Support Q-Learning: Learning without Unsafe Exploration
di: Lim, Yeeun, et al.
Pubblicazione: (2026)

Unsafe2Safe: Controllable Image Anonymization for Downstream Utility
di: Dinh, Mih, et al.
Pubblicazione: (2026)

Safe Vision-Language Models via Unsafe Weights Manipulation
di: D'Incà, Moreno, et al.
Pubblicazione: (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
di: Anitha S
Pubblicazione: (2025)

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

No Safe Dose: How Training Data Drives Unsafe Image Generation
di: Friedrich, Felix, et al.
Pubblicazione: (2026)

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

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

Mathematical modeling and analysis of the Notch-Delta pathway
di: Stevens, Angela, et al.
Pubblicazione: (2026)

COCORELI: Enforcing Execution Preconditions for Reliable Collaborative Instruction Following
di: Bhar, Swarnadeep, et al.
Pubblicazione: (2025)

SandCell: Sandboxing Rust Beyond Unsafe Code
di: Zhang, Jialun, et al.
Pubblicazione: (2025)

SafeSwitch: Steering Unsafe LLM Behavior via Internal Activation Signals
di: Han, Peixuan, et al.
Pubblicazione: (2025)

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

SafeLink: Safety-Critical Control Under Dynamic and Irregular Unsafe Regions
di: Hu, Songqiao, et al.
Pubblicazione: (2025)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
di: Ferlez, James, et al.
Pubblicazione: (2020)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
di: Fabian, Xaver, et al.
Pubblicazione: (2024)

ACCP Position Statement on Unregulated Psychotropic Products
di: Tao Long, et al.
Pubblicazione: (2024)

Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
di: Paaßen, David, et al.
Pubblicazione: (2025)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
di: Rao, Zihao, et al.
Pubblicazione: (2024)

Computationally Bounded Robust Compilation and Universally Composable Security
di: Künnemann, Robert, et al.
Pubblicazione: (2024)

Secure Composition of Robust and Optimising Compilers
di: Kruse, Matthis, et al.
Pubblicazione: (2023)

Unstable Cores are the source of instability in chemical reaction networks
di: Vassena, Nicola, et al.
Pubblicazione: (2023)

3DEditSafe: Defending 3D Editing Pipelines from Unsafe Generation
di: Meng, Nicole, et al.
Pubblicazione: (2026)

ContextCov: Deriving and Enforcing Executable Constraints from Agent Instruction Files
di: Sharma, Reshabh K
Pubblicazione: (2026)

Iron Deficiency Anemia and Ischemic Stroke in Young Adults
di: Jahnavi Gollamudi, et al.
Pubblicazione: (2025)

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

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

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