共 6 条
- [1] Safety Certification with the Open Source Microkernel-Based Operating System L4Re COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2022, 2022, 13414 : 31 - 45
- [3] Design of the Operating System Virtualization on L4 Microkernel NCM 2008 : 4TH INTERNATIONAL CONFERENCE ON NETWORKED COMPUTING AND ADVANCED INFORMATION MANAGEMENT, VOL 1, PROCEEDINGS, 2008, : 307 - 310
- [4] Demo Abstract: Low-power High-precision Timing Hardware for Sensor Networks SENSYS 09: PROCEEDINGS OF THE 7TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2009, : 337 - 338
- [5] Demo Abstract: CUDDoS - Correlation-aware Ubiquitous Detection of DDoS in IoT Systems PROCEEDINGS OF THE 21ST ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, SENSYS 2023, 2023, : 482 - 483
- [6] Demo Abstract: Synthesis of Platform-aware Attack-Resilient Vehicular Systems 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2013, : 251 - 251