OS Security

There are two types of Operating Systems (OSs): (i) general purpose & (ii) embedded. The former refer to OSs such as Mac OS, Windows, Linux Desktop OS that run on personal computers. The latter refer to OSs such as RTEMS, FreeRTOS, TinyOS that are designed for embedded systems and which adhere to real-time requirements. Current OS security research revolves around secure boot methods, memory protection, other OS components, C-language safety, Rust programming, containers, and compartments.

Following is the list of publications and projects by the lab (especially the lab Director) in the OS domain:

G. Bloom et al., Real-Time Systems Development with RTEMS and Multicore Processors. CRC Press, 2020.

G. Bloom and J. Sherrill, “Harmonizing ARINC 653 and Realtime POSIX for Conformance to the FACE Technical Standard,” in 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), May 2020, pp. 98–105, doi: 10.1109/ISORC49007.2020.00023.

U. K. Agarwal, V. P. Ashokbhai, G. Bloom, C. Mauderer, and J. Sherrill, “Comparison of File Systems in RTEMS,” SIGBED Rev., vol. 16, no. 3, pp. 39–44, Nov. 2019, doi: 10.1145/3373400.3373406.

M. Nasri, T. Chantem, G. Bloom, and R. M. Gerdes, “On the Pitfalls and Vulnerabilities of Schedule Randomization Against Schedule-Based Attacks,” in 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr. 2019, pp. 103–116, doi: 10.1109/RTAS.2019.00017.

G. Bloom, J. Sherrill, and G. Gilliland, “Aligning Deos and RTEMS with the FACE Safety Base Operating System Profile,” SIGBED Rev., vol. 15, no. 1, pp. 15–21, Mar. 2018, doi: 10.1145/3199610.3199612.

C. Tessler, G. Bloom, and N. Fisher, “Work-in-Progress: Reducing Cache Conflicts via Interrupts and BUNDLE Scheduling,” in 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr. 2017, pp. 125–128, doi: 10.1109/RTAS.2017.30.

J. Song, G. Bloom, and G. Parmer, “SuperGlue: IDL-Based, System-Level Fault Tolerance for Embedded Systems,” in 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun. 2016, pp. 227–238, doi: 10.1109/DSN.2016.29.

Y. Ren, G. Parmer, T. Georgiev, and G. Bloom, “CBufs: Efficient, System-wide Memory Management and Sharing,” in Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, New York, NY, USA, 2016, pp. 68–77, doi: 10.1145/2926697.2926703.

J. Marshall, G. Parmer, R. Simha, and G. Bloom, “n-Modular Redundant Real-Time Middleware: Design and Implementation,” 2016.

S. Gadia, C. Artho, and G. Bloom, “Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder,” in Formal Methods and Software Engineering, Nov. 2016, pp. 417–432, doi: 10.1007/978-3-319-47846-3_26.

G. Bloom, G. Parmer, and R. Simha, “LockDown: An Operating System for Achieving Service Continuity by Quarantining Principals,” in Proceedings of the 9th European Workshop on System Security, New York, NY, USA, 2016, p. 7:1-7:6, doi: 10.1145/2905760.2905764.