Dong Seong Kim

Time Independent Security Analysis for Dynamic Networks Using Graphical Security Models

2018

It is technically challenging to conduct a security analysis of a dynamic network, due to the lack of methods and techniques to capture different security postures as the network changes. Graphical Security Models (e.g., Attack …

Advancing Human-Machine Teaming: Concepts, Challenges, and Applications

2025 · arXiv (Cornell University)

Human-Machine Teaming (HMT) is revolutionizing collaboration across domains such as defense, healthcare, and autonomous systems by integrating AI-driven decision-making, trust calibration, and adaptive teaming. This survey presents a comprehensive taxonomy of HMT, analyzing theoretical models, …