Imagen de Portada

Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Sharma, Ayushi, Sharma, Shashank, Torres-Arias, Santiago, Machiry, Aravind
Formato:	Preprint
Publicado:	2023
Materias:	Cryptography and Security Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper) -- Extended Report
por: Shen, Mingjie, et al.
Publicado: (2023)

On the effectiveness of Large Language Models for GitHub Workflows
por: Zhang, Xinyu, et al.
Publicado: (2024)

Reactive Bottom-Up Testing
por: Muralee, Siddharth, et al.
Publicado: (2025)

ARMS: A Vision for Actor Reputation Metric Systems in the Open-Source Software Supply Chain
por: Kalu, Kelechi G., et al.
Publicado: (2025)

DiVerify: Hardening Identity-Based Software Signing with Diverse-Context Scopes
por: Okafor, Chinenye, et al.
Publicado: (2024)

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

SafeTrans: LLM-assisted Transpilation from C to Rust
por: Farrukh, Muhammad, et al.
Publicado: (2025)

An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
por: Elsayed, Mohamed, et al.
Publicado: (2026)

Automated Repair of OpenID Connect Programs (Extended Version)
por: Rahat, Tamjid Al, et al.
Publicado: (2025)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
por: Liu, Yuwei, et al.
Publicado: (2026)

HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
por: Luo, Yu, et al.
Publicado: (2025)

SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties
por: Okafor, Chinenye, et al.
Publicado: (2024)

Trusting code in the wild: Exploring contributor reputation measures to review dependencies in the Rust ecosystem
por: Hamer, Sivana, et al.
Publicado: (2024)

ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
por: Amusuo, Paschal C., et al.
Publicado: (2023)

Tracking Down Software Cluster Bombs: A Current State Analysis of the Free/Libre and Open Source Software (FLOSS) Ecosystem
por: Tatschner, Stefan, et al.
Publicado: (2025)

Is Stateful Fuzzing Really Challenging?
por: Daniele, Cristian
Publicado: (2024)

An Industry Interview Study of Software Signing for Supply Chain Security
por: Kalu, Kelechi G., et al.
Publicado: (2024)

A Longitudinal Study of Usability in Identity-Based Software Signing
por: Kalu, Kelechi G., et al.
Publicado: (2026)

Why Johnny Adopts Identity-Based Software Signing: A Usability Case Study of Sigstore
por: Kalu, Kelechi G., et al.
Publicado: (2025)

Establishing Provenance Before Coding: Traditional and Next-Gen Software Signing
por: Schorlemmer, Taylor R., et al.
Publicado: (2024)

Classport: Designing Runtime Dependency Introspection for Java
por: Cofano, Serena, et al.
Publicado: (2025)

SBOM.EXE: Countering Dynamic Code Injection based on Software Bill of Materials in Java
por: Sharma, Aman, et al.
Publicado: (2024)

Static Deadlock Detection for Rust Programs
por: Zhang, Yu, et al.
Publicado: (2024)

On the Prevalence and Usage of Commit Signing on GitHub: A Longitudinal and Cross-Domain Study
por: Sharma, Anupam, et al.
Publicado: (2025)

A Study of Malware Prevention in Linux Distributions
por: Vu, Duc-Ly, et al.
Publicado: (2024)

Maven-Hijack: Software Supply Chain Attack Exploiting Packaging Order
por: Reyes, Frank, et al.
Publicado: (2024)

Investigating Vulnerability Disclosures in Open-Source Software Using Bug Bounty Reports and Security Advisories
por: Ayala, Jessy, et al.
Publicado: (2025)

A Deep Dive Into How Open-Source Project Maintainers Review and Resolve Bug Bounty Reports
por: Ayala, Jessy, et al.
Publicado: (2024)

Safety Interventions against Adversarial Patches in an Open-Source Driver Assistance System
por: Chen, Cheng, et al.
Publicado: (2025)

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
por: Sorger, Tom, et al.
Publicado: (2026)

Signing in Four Public Software Package Registries: Quantity, Quality, and Influencing Factors
por: Schorlemmer, Taylor R, et al.
Publicado: (2024)

Translating C To Rust: Lessons from a User Study
por: Li, Ruishi, et al.
Publicado: (2024)

OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities
por: Vidal, Fernando Richter, et al.
Publicado: (2023)

A Universal System for OpenID Connect Sign-ins with Verifiable Credentials and Cross-Device Flow
por: Hoops, Felix, et al.
Publicado: (2024)

LLM-Enabled Open-Source Systems in the Wild: An Empirical Study of Vulnerabilities in GitHub Security Advisories
por: Shifat, Fariha Tanjim, et al.
Publicado: (2026)

Civil Servants as Builders: Enabling Non-IT Staff to Develop Secure Python and R Tools
por: Sharma, Prashant
Publicado: (2025)

Agentic Fuzzing: Opportunities and Challenges
por: Park, Junyoung, et al.
Publicado: (2026)

Sandboxing Adoption in Open Source Ecosystems
por: Alhindi, Maysara, et al.
Publicado: (2024)

FuzzBox: Blending Fuzzing into Emulation for Binary-Only Embedded Targets
por: Cesarano, Carmine, et al.
Publicado: (2025)

Detecting Protracted Vulnerabilities in Open Source Projects
por: Sridharkumar, Arjun, et al.
Publicado: (2026)