Cover Image

LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tanksalkar, Sai Ritvik, Muralee, Siddharth, Danduri, Srihari, Amusuo, Paschal, Bianchi, Antonio, Davis, James C, Machiry, Aravind Kumar
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Operating Systems D.4.6; D.4.9; K.6.5
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Hardening the OSv Unikernel with Efficient Address Randomization: Design and Performance Evaluation
by: Wollman, Alex, et al.
Published: (2026)

CityOS: Privacy Architecture for Urban Sensing
by: Cavicchioli, Giorgio, et al.
Published: (2026)

VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
by: Gerhorst, Luis, et al.
Published: (2024)

LearnedCache: An eBPF-Integrated Perceptron-Based Eviction Policy for the Linux Page Cache
by: Qi, Zejia
Published: (2026)

Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)

Pomegranate: A Lightweight Compartmentalization Architecture using Virtualization Extensions
by: Raja, Shriram, et al.
Published: (2026)

A Comprehensive Quantification of Inconsistencies in Memory Dumps
by: Oliveri, Andrea, et al.
Published: (2025)

Mitigating Timing-Based Attacks in Real-Time Cyber-Physical Systems
by: Sain, Arkaprava, et al.
Published: (2026)

A Secure, Manifest-Based Framework for Delegated Privilege Promotion
by: Chowdhury, Rajarshi, et al.
Published: (2026)

Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)
by: Ackermann, Eric, et al.
Published: (2026)

Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM
by: Kim, Yunseong
Published: (2026)

Improved Leakage Abuse Attacks in Searchable Symmetric Encryption with eBPF Monitoring
by: Dimobi, Chinecherem
Published: (2026)

RX-INT: A Kernel Engine for Real-Time Detection and Analysis of In-Memory Threats
by: Juneja, Arjun
Published: (2025)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
by: Amusuo, Paschal C., et al.
Published: (2025)

A Survey of Unikernel Security: Insights and Trends from a Quantitative Analysis
by: Wollman, Alex, et al.
Published: (2024)

Rhea: Detecting Privilege-Escalated Evasive Ransomware Attacks Using Format-Aware Validation in the Cloud
by: Kim, Beom Heyn, et al.
Published: (2026)

ARM MTE Performance in Practice (Extended Version)
by: Noh, Taehyun, et al.
Published: (2026)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)

Right to History: A Sovereignty Kernel for Verifiable AI Agent Execution
by: Zhang, Jing
Published: (2026)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
by: Li, Xiaoqi, et al.
Published: (2026)

Dynamic Vulnerability Patching for Heterogeneous Embedded Systems Using Stack Frame Reconstruction
by: Zhou, Ming, et al.
Published: (2025)

CryptoGuard: Lightweight Hybrid Detection and Response to Host-based Cryptojackers in Linux Cloud Environments
by: Park, Gyeonghoon, et al.
Published: (2025)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
by: Amusuo, Paschal C., et al.
Published: (2026)

MambaLite-Micro: Memory-Optimized Mamba Inference on MCUs
by: Xu, Hongjun, et al.
Published: (2025)

Predicting Known Vulnerabilities from Attack Descriptions Using Sentence Transformers
by: Othman, Refat
Published: (2026)

The Cost of Convenience: Identifying, Analyzing, and Mitigating Predatory Loan Applications on Android
by: Akanji, Olawale Amos, et al.
Published: (2026)

Towards Deterministic Sub-0.5 us Response on Linux through Interrupt Isolation
by: Zhou, Zhouyi, et al.
Published: (2025)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
by: Mitra, Joydeep, et al.
Published: (2020)

Wayfinder: Automated Operating System Specialization
by: Jung, Alexander, et al.
Published: (2026)

Back to Bits: Extending Shannon's communication performance framework to computing
by: Hawkins, Max, et al.
Published: (2025)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
by: Marri, Srinivas Rao
Published: (2026)

From Consensus to Chaos: A Vulnerability Assessment of the RAFT Algorithm
by: Afifi, Tamer, et al.
Published: (2026)

Secure IAM on AWS with Multi-Account Strategy
by: Yi, Sungchan
Published: (2025)

Decentralized COVID-19 Health System Leveraging Blockchain
by: Chen, Lingsheng, et al.
Published: (2025)

VIC: Evasive Video Game Cheating via Virtual Machine Introspection
by: Karkallis, Panicos, et al.
Published: (2025)

SETC: A Vulnerability Telemetry Collection Framework
by: Holeman, Ryan, et al.
Published: (2024)

The Need for Standardized Evidence Sampling in CMMC Assessments: A Survey-Based Analysis of Assessor Practices
by: Therrien, Logan, et al.
Published: (2026)

Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
by: Kiashemshaki, Kiana, et al.
Published: (2025)