{"results":[{"id":"arxiv_2511.00140","title":"Supply Chain Exploitation of Secure ROS 2 Systems: A Proof-of-Concept on Autonomous Platform Compromise via Keystore Exfiltration","authors":[{"name":"Tahmid Hasan Sakib"},{"name":"Yago Romano Martinez"},{"name":"Carter Brady"},{"name":"Syed Rafay Hasan"},{"name":"Terry N. Guo"}],"abstract":"This paper presents a proof-of-concept supply chain attack against the Secure ROS 2 (SROS 2) framework, demonstrated on a Quanser QCar2 autonomous vehicle platform. A Trojan-infected Debian package modifies core ROS 2 security commands to exfiltrate newly generated keystore credentials via DNS in base64-encoded chunks to an attacker-controlled nameserver. Possession of these credentials enables the attacker to rejoin the SROS 2 network as an authenticated participant and publish spoofed control or perception messages without triggering authentication failures. We evaluate this capability on a secure ROS 2 Humble testbed configured for a four-stop-sign navigation routine using an Intel RealSense camera for perception. Experimental results show that control-topic injections can cause forced braking, sustained high-speed acceleration, and continuous turning loops, while perception-topic spoofing can induce phantom stop signs or suppress real detections. The attack generalizes to any data distribution service (DDS)-based robotic system using SROS 2, highlighting the need for both supply chain integrity controls and runtime semantic validation to safeguard autonomous systems against insider and impersonation threats.","source":"arXiv","year":2025,"language":"en","subjects":["cs.CR","cs.OS","cs.RO","eess.SY"],"doi":"10.1109/MILCOM64451.2025.11309897","url":"https://arxiv.org/abs/2511.00140","pdf_url":"https://arxiv.org/pdf/2511.00140","is_open_access":true,"published_at":"2025-10-31T17:27:10Z","score":69},{"id":"arxiv_2409.03488","title":"Head-First Memory Allocation on Best-Fit with Space-Fitting","authors":[{"name":"Adam Noto Hakarsa"}],"abstract":"Although best-fit is known to be slow, it excels at optimizing memory space utilization. Interestingly, by keeping the free memory region at the top of the memory, the process of memory allocation and deallocation becomes approximately 34.86% faster while also maintaining external fragmentation at minimum.","source":"arXiv","year":2024,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/2409.03488","pdf_url":"https://arxiv.org/pdf/2409.03488","is_open_access":true,"published_at":"2024-09-05T12:56:37Z","score":68},{"id":"arxiv_2311.14171","title":"OpenMP behavior in low resource and high stress mobile environment","authors":[{"name":"Kaijun Zhang"}],"abstract":"This paper investigates the use of OpenMP for parallel post processing in obejct detection on personal Android devices, where resources like computational power, memory, and battery are limited. Specifically, it explores various configurations of thread count, CPU affinity, and chunk size on a Redmi Note 10 Pro with an ARM Cortex A76 CPU. The study finds that using four threads offers a maximum post processing speedup of 2.3x but increases overall inference time by 2.7x. A balanced configuration of two threads achieves a 1.8x speedup in post processing and a 2% improvement in overall program performance.","source":"arXiv","year":2023,"language":"en","subjects":["cs.PF"],"url":"https://arxiv.org/abs/2311.14171","pdf_url":"https://arxiv.org/pdf/2311.14171","is_open_access":true,"published_at":"2023-11-23T19:22:49Z","score":67},{"id":"arxiv_2310.05399","title":"Towards a debuggable kernel design","authors":[{"name":"Chandrika Parimoo"},{"name":"Ashish Gupta"}],"abstract":"This paper describes what it means for a kernel to be debuggable and proposes a kernel design with debuggability in mind. We evaluate the proposed kernel design by comparing the iterations required in cyclic debugging for different classes of bugs in a vanilla monolithic kernel to a variant enhanced with our design rules for debuggability. We discuss the trade offs involved in designing a debuggable kernel.","source":"arXiv","year":2023,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/2310.05399","pdf_url":"https://arxiv.org/pdf/2310.05399","is_open_access":true,"published_at":"2023-10-09T04:38:51Z","score":67},{"id":"arxiv_2310.00428","title":"The First Principle of Big Memory Systems","authors":[{"name":"Yu Hua"}],"abstract":"Persistence is the first principle of big memory systems. We comprehensively analyze the vertical and horizontal extensions of existing memory hierarchy. Networks are flattening traditional storage hierarchies. We present the state-of-the-art studies upon the big memory systems, together with design methodology and implementations. We discuss the full-stack and moving persistence. In order to achieve cost efficiency and deliver high performance, we present the speculative and deterministic persistence.","source":"arXiv","year":2023,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/2310.00428","pdf_url":"https://arxiv.org/pdf/2310.00428","is_open_access":true,"published_at":"2023-09-30T16:40:16Z","score":67},{"id":"arxiv_2308.05762","title":"HotOS XIX Panel Report: Panel on Future of Reproduction and Replication of Systems Research","authors":[{"name":"Roberta De Viti"},{"name":"Solal Pirelli"},{"name":"Vaastav Anand"}],"abstract":"At HotOS XIX (2023), we organized a panel to discuss the future of reproducibility and replication in systems research. In this document, we highlight the key points and themes that were discussed in the panel and summarize the various opinions shared by both the panelists as well as the HotOS attendees.","source":"arXiv","year":2023,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/2308.05762","pdf_url":"https://arxiv.org/pdf/2308.05762","is_open_access":true,"published_at":"2023-08-08T20:47:09Z","score":67},{"id":"arxiv_2004.00402","title":"A File System For Write-Once Media","authors":[{"name":"Simson L. Garfinkel"},{"name":"J. Spencer Love"}],"abstract":"A file system standard for use with write-once media such as digital compact disks is proposed. The file system is designed to work with any operating system and a variety of physical media. Although the implementation is simple, it provides a a full-featured and high-performance alternative to conventional file systems on traditional, multiple-write media such as magnetic disks.","source":"arXiv","year":2020,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/2004.00402","pdf_url":"https://arxiv.org/pdf/2004.00402","is_open_access":true,"published_at":"2020-03-31T01:44:14Z","score":64},{"id":"arxiv_1903.01955","title":"The Lustre Storage Architecture","authors":[{"name":"Peter Braam"}],"abstract":"This lengthy document often referred to as the \"Lustre Book\", contains a detailed outline of Lustre file system architecture, as it was created between 2001 and 2005, in accordance with the requirements from various users. Now, in 2019, most features have been implemented, but some only recently, and some along different lines of thought.","source":"arXiv","year":2019,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/1903.01955","pdf_url":"https://arxiv.org/pdf/1903.01955","is_open_access":true,"published_at":"2019-03-05T17:40:38Z","score":63},{"id":"arxiv_1705.05798","title":"Comments on \"Gang EDF Schedulability Analysis\"","authors":[{"name":"Pascal Richard"},{"name":"Joël Goossens"},{"name":"Shinpei Kato"}],"abstract":"This short report raises a correctness issue in the schedulability test presented in Kato et al., \"Gang EDF Scheduling of Parallel Task Systems\", 30th IEEE Real-Time Systems Symposium, 2009, pp. 459-468.","source":"arXiv","year":2017,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/1705.05798","pdf_url":"https://arxiv.org/pdf/1705.05798","is_open_access":true,"published_at":"2017-05-16T16:41:43Z","score":61},{"id":"arxiv_1609.08154","title":"Implementing RBAC model in An Operating System Kernel","authors":[{"name":"Zhiyong Shan"},{"name":"Yu-fang Sun"}],"abstract":"In this paper, the implementation of an operating system oriented RBAC model is discussed. Firstly, on the basis of RBAC96 model, a new RBAC model named OSR is presented. Secondly, the OSR model is enforced in RFSOS kernel by the way of integrating GFAC method and Capability mechanism together. All parts of the OSR implementation are described in detail.","source":"arXiv","year":2016,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/1609.08154","pdf_url":"https://arxiv.org/pdf/1609.08154","is_open_access":true,"published_at":"2016-09-26T17:36:18Z","score":60},{"id":"arxiv_1509.07694","title":"Folding a Tree into a Map","authors":[{"name":"Victor Yodaiken"}],"abstract":"Analysis of the retrieval architecture of the highly influential UNIX file system (\\cite{Ritchie}\\cite{multicsfs}) provides insight into design methods, constraints, and possible alternatives. The basic architecture can be understood in terms of function composition and recursion by anyone with some mathematical maturity. Expertise in operating system coding or in any specialized \"formal method\" is not required.","source":"arXiv","year":2015,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/1509.07694","pdf_url":"https://arxiv.org/pdf/1509.07694","is_open_access":true,"published_at":"2015-09-25T12:37:09Z","score":59},{"id":"arxiv_1402.4929","title":"Formal Description of Components in Operating Systems","authors":[{"name":"Asen Petkov Iliev"}],"abstract":"The contemporary development of hardware components is a prerequisite for increasing the concentration of computing power. System software is developing at a much slower pace. To use available resources efficiently modeling is required. Formalization of elements, present in the material, provides the basis for modeling. Examples are presented to demonstrate the efficiency of the concept.","source":"arXiv","year":2014,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/1402.4929","pdf_url":"https://arxiv.org/pdf/1402.4929","is_open_access":true,"published_at":"2014-02-20T08:33:02Z","score":58},{"id":"arxiv_1210.6447","title":"Disk Scheduling: Selection of Algorithm","authors":[{"name":"S. Yashvir"},{"name":"Om Prakash"}],"abstract":"The objective of this paper is to take some aspects of disk scheduling and scheduling algorithms. The disk scheduling is discussed with a sneak peak in general and selection of algorithm in particular.","source":"arXiv","year":2012,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/1210.6447","pdf_url":"https://arxiv.org/pdf/1210.6447","is_open_access":true,"published_at":"2012-10-24T07:56:48Z","score":56},{"id":"arxiv_1006.0813","title":"On the definition of a theoretical concept of an operating system","authors":[{"name":"J. A. Bergstra"},{"name":"C. A. Middelburg"}],"abstract":"We dwell on how a definition of a theoretical concept of an operating system, suitable to be incorporated in a mathematical theory of operating systems, could look like. This is considered a valuable preparation for the development of a mathematical theory of operating systems.","source":"arXiv","year":2010,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/1006.0813","pdf_url":"https://arxiv.org/pdf/1006.0813","is_open_access":true,"published_at":"2010-06-04T09:03:39Z","score":54},{"id":"arxiv_1003.5525","title":"Searching publications on operating systems","authors":[{"name":"C. A. Middelburg"}],"abstract":"This note concerns a search for publications in which one can find statements that explain the concept of an operating system, reasons for introducing operating systems, a formalization of the concept of an operating system or theory about operating systems based on such a formalization. It reports on the way in which the search has been carried out and the outcome of the search. The outcome includes not only what the search was meant for, but also some added bonuses.","source":"arXiv","year":2010,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/1003.5525","pdf_url":"https://arxiv.org/pdf/1003.5525","is_open_access":true,"published_at":"2010-03-29T12:51:23Z","score":54},{"id":"arxiv_0909.5064","title":"A Conceivable Origin of Machine Consciousness in the IDLE process","authors":[{"name":"Norbert Bátfai"}],"abstract":"In this short paper, we would like to call professional community's attention to a daring idea that is surely unhelpful, but is exciting for programmers and anyway conflicts with the trend of energy consumption in computer systems.","source":"arXiv","year":2009,"language":"en","subjects":["cs.OS","cs.DC"],"url":"https://arxiv.org/abs/0909.5064","pdf_url":"https://arxiv.org/pdf/0909.5064","is_open_access":true,"published_at":"2009-09-28T10:54:48Z","score":53},{"id":"arxiv_0908.3519","title":"Predictability of Fixed-Job Priority Schedulers on Heterogeneous Multiprocessor Real-Time Systems","authors":[{"name":"Liliana Cucu-Grosjean"},{"name":"Joël Goossens"}],"abstract":"The multiprocessor Fixed-Job Priority (FJP) scheduling of real-time systems is studied. An important property for the schedulability analysis, the predictability (regardless to the execution times), is studied for heterogeneous multiprocessor platforms. Our main contribution is to show that any FJP schedulers are predictable on unrelated platforms. A convenient consequence is the fact that any FJP schedulers are predictable on uniform multiprocessors.","source":"arXiv","year":2009,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/0908.3519","pdf_url":"https://arxiv.org/pdf/0908.3519","is_open_access":true,"published_at":"2009-08-25T12:46:56Z","score":53},{"id":"arxiv_0809.5238","title":"Mode Change Protocol for Multi-Mode Real-Time Systems upon Identical Multiprocessors","authors":[{"name":"Vincent Nélis"},{"name":"Joël Goossens"}],"abstract":"In this paper, we propose a synchronous protocol without periodicity for scheduling multi-mode real-time systems upon identical multiprocessor platforms. Our proposal can be considered to be a multiprocessor extension of the uniprocessor protocol called \"Minimal Single Offset protocol\".","source":"arXiv","year":2008,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/0809.5238","pdf_url":"https://arxiv.org/pdf/0809.5238","is_open_access":true,"published_at":"2008-09-30T15:55:04Z","score":52},{"id":"arxiv_0809.4082","title":"Multiprocessor Global Scheduling on Frame-Based DVFS Systems","authors":[{"name":"Vandy Berten"},{"name":"Joël Goossens"}],"abstract":"In this ongoing work, we are interested in multiprocessor energy efficient systems, where task durations are not known in advance, but are know stochastically. More precisely, we consider global scheduling algorithms for frame-based multiprocessor stochastic DVFS (Dynamic Voltage and Frequency Scaling) systems. Moreover, we consider processors with a discrete set of available frequencies.","source":"arXiv","year":2008,"language":"en","subjects":["cs.OS"],"url":"https://arxiv.org/abs/0809.4082","pdf_url":"https://arxiv.org/pdf/0809.4082","is_open_access":true,"published_at":"2008-09-24T06:10:39Z","score":52},{"id":"crossref_10.1016/s0022-328x(00)81955-5","title":"The tris(triphenylphosphine)osmium zerovalent complexes Os(CO)2(PPh3)3, .Os(CO)(CNR)(PPh3)3, Os(CO)(CS)(PPh3)3, Os(CS)(cNR)(PPh3)3 and derived compounds","authors":[{"name":"T.J. Collins"},{"name":"K.R. Grundy"},{"name":"W.R. Roper"}],"abstract":"","source":"CrossRef","year":1982,"language":"en","subjects":null,"doi":"10.1016/s0022-328x(00)81955-5","url":"https://doi.org/10.1016/s0022-328x(00)81955-5","is_open_access":true,"citations":29,"published_at":"","score":50.87}],"total":254660,"page":1,"page_size":20,"sources":["CrossRef","arXiv"],"query":"cs.OS"}