# security

Jan 10, 2025 #fuzzing #security

CAFuzz: A State Coverage Guided Fuzzer for Certificate Authorities

Sep 01, 2023 #ros2 #uav #security

ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs

Sep 15, 2022 #program analysis #graph neural networks #supply chain security #security

SENSOR: Graph based Revision History Analysis for Code Evolution Introspection

Sep 15, 2021 #program synthesis #security #embedded systems #reverse engineering

CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems

Sep 01, 2020 #kernel #attack surface #security

MultiK: A framework for Orchestrating Specialized Kernels