RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system
Fuente:
arXiv
Salvato in:
| Autori principali: | Tempel, Sören, Bruns, Nora |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2020
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
RIOT-based smart metering system for privacy-preserving data aggregation using watermarking and encryption
di: Kabir, Farzana, et al.
Pubblicazione: (2025)
di: Kabir, Farzana, et al.
Pubblicazione: (2025)
Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024)
di: Tempel, Sören, et al.
Pubblicazione: (2024)
SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
di: van der Wall, Sören, et al.
Pubblicazione: (2024)
di: van der Wall, Sören, et al.
Pubblicazione: (2024)
PermRust: A Token-based Permission System for Rust
di: Gehring, Lukas, et al.
Pubblicazione: (2025)
di: Gehring, Lukas, et al.
Pubblicazione: (2025)
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
di: Thibault, Jérémy, et al.
Pubblicazione: (2025)
di: Thibault, Jérémy, et al.
Pubblicazione: (2025)
Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
di: Hassanzadeh-Nazarabadi, Yahya, et al.
Pubblicazione: (2025)
di: Hassanzadeh-Nazarabadi, Yahya, et al.
Pubblicazione: (2025)
FSLH: Flexible Mechanized Speculative Load Hardening
di: Baumann, Jonathan, et al.
Pubblicazione: (2025)
di: Baumann, Jonathan, et al.
Pubblicazione: (2025)
Adding Compilation Metadata To Binaries To Make Disassembly Decidable
di: Engel, Daniel, et al.
Pubblicazione: (2026)
di: Engel, Daniel, et al.
Pubblicazione: (2026)
Compositional security definitions for higher-order where declassification
di: Menz, Jan, et al.
Pubblicazione: (2026)
di: Menz, Jan, et al.
Pubblicazione: (2026)
OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
di: Haddad, Rami, et al.
Pubblicazione: (2022)
di: Haddad, Rami, et al.
Pubblicazione: (2022)
Computationally Bounded Robust Compilation and Universally Composable Security
di: Künnemann, Robert, et al.
Pubblicazione: (2024)
di: Künnemann, Robert, et al.
Pubblicazione: (2024)
Obfuscation as Instruction Decorrelation
di: Ajorian, Ali, et al.
Pubblicazione: (2024)
di: Ajorian, Ali, et al.
Pubblicazione: (2024)
Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
di: Damodaran, Suresh K., et al.
Pubblicazione: (2025)
di: Damodaran, Suresh K., et al.
Pubblicazione: (2025)
Neuroforger: certified violation witnesses for smart contracts verification via LLMs
di: Bartoletti, Massimo, et al.
Pubblicazione: (2026)
di: Bartoletti, Massimo, et al.
Pubblicazione: (2026)
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
di: Huyghebaert, Sander, et al.
Pubblicazione: (2023)
di: Huyghebaert, Sander, et al.
Pubblicazione: (2023)
SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
di: Sharma, Reshabh K, et al.
Pubblicazione: (2026)
di: Sharma, Reshabh K, et al.
Pubblicazione: (2026)
Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
di: Zhang, Keyang, et al.
Pubblicazione: (2026)
di: Zhang, Keyang, et al.
Pubblicazione: (2026)
Smart Contract Languages: a comparative analysis
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)
Censor Resistant Instruction Independent Obfuscation for Multiple Programs
di: Ajorian, Ali
Pubblicazione: (2025)
di: Ajorian, Ali
Pubblicazione: (2025)
On Computational Indistinguishability and Logical Relations
di: Lago, Ugo Dal, et al.
Pubblicazione: (2024)
di: Lago, Ugo Dal, et al.
Pubblicazione: (2024)
HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
di: Sarkar, Abhiroop, et al.
Pubblicazione: (2024)
di: Sarkar, Abhiroop, et al.
Pubblicazione: (2024)
LockForge: Automating Paper-to-Code for Logic Locking with Multi-Agent Reasoning LLMs
di: Saha, Akashdeep, et al.
Pubblicazione: (2025)
di: Saha, Akashdeep, et al.
Pubblicazione: (2025)
A Bayesian Approach to Membership Inference for Statistical Release
di: Oakley, Lisa, et al.
Pubblicazione: (2026)
di: Oakley, Lisa, et al.
Pubblicazione: (2026)
Formalizing Stack Safety as a Security Property
di: Anderson, Sean Noble, et al.
Pubblicazione: (2021)
di: Anderson, Sean Noble, et al.
Pubblicazione: (2021)
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
di: Ye, Qianchuan, et al.
Pubblicazione: (2023)
di: Ye, Qianchuan, et al.
Pubblicazione: (2023)
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
di: Thibault, Jérémy, et al.
Pubblicazione: (2024)
di: Thibault, Jérémy, et al.
Pubblicazione: (2024)
Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
di: Smaragdakis, Yannis, et al.
Pubblicazione: (2025)
di: Smaragdakis, Yannis, et al.
Pubblicazione: (2025)
Language-Based Security for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2024)
di: Skalka, Christian, et al.
Pubblicazione: (2024)
ILA: Correctness via Type Checking for Fully Homomorphic Encryption
di: Gollamudi, Tarakaram, et al.
Pubblicazione: (2025)
di: Gollamudi, Tarakaram, et al.
Pubblicazione: (2025)
Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
di: Zhang, Naifeng, et al.
Pubblicazione: (2025)
di: Zhang, Naifeng, et al.
Pubblicazione: (2025)
Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
di: Li, Fang, et al.
Pubblicazione: (2025)
di: Li, Fang, et al.
Pubblicazione: (2025)
Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
di: Baumann, Jonathan, et al.
Pubblicazione: (2026)
di: Baumann, Jonathan, et al.
Pubblicazione: (2026)
Constructing Trustworthy Smart Contracts
di: Chait-Roth, Devora, et al.
Pubblicazione: (2024)
di: Chait-Roth, Devora, et al.
Pubblicazione: (2024)
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
di: Michael, Alexandra E., et al.
Pubblicazione: (2022)
di: Michael, Alexandra E., et al.
Pubblicazione: (2022)
Dynamic Graph-based Fingerprinting of In-browser Cryptomining
di: Sermchaiwong, Tanapoom, et al.
Pubblicazione: (2025)
di: Sermchaiwong, Tanapoom, et al.
Pubblicazione: (2025)
zkStruDul: Programming zkSNARKs with Structural Duality
di: Krishnan, Rahul, et al.
Pubblicazione: (2025)
di: Krishnan, Rahul, et al.
Pubblicazione: (2025)
Solvent: liquidity verification of smart contracts
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)
TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
di: Chen, Hung-Mao, et al.
Pubblicazione: (2025)
di: Chen, Hung-Mao, et al.
Pubblicazione: (2025)
SMT-Boosted Security Types for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2025)
di: Skalka, Christian, et al.
Pubblicazione: (2025)
Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
di: Cho, Hyunhum, et al.
Pubblicazione: (2026)
di: Cho, Hyunhum, et al.
Pubblicazione: (2026)
Documenti analoghi
-
RIOT-based smart metering system for privacy-preserving data aggregation using watermarking and encryption
di: Kabir, Farzana, et al.
Pubblicazione: (2025) -
Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024) -
SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
di: van der Wall, Sören, et al.
Pubblicazione: (2024) -
PermRust: A Token-based Permission System for Rust
di: Gehring, Lukas, et al.
Pubblicazione: (2025) -
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
di: Thibault, Jérémy, et al.
Pubblicazione: (2025)