Faruk Alpay
3 indexed papers
Publications per year
Top categories
Frequent co-authors
Research Timeline
The paper develops a unified mathematical framework to analyze the interaction between post-quantum security, real-time communication constraints, and closed-loop stability in safety-critical turbofan engine control systems.
The paper introduces AgentSecBench, a security evaluation framework that measures prompt injection, privacy leakage, and tool-use integrity in LLM agents by defining formal security games and testing defense mechanisms.
The paper formalizes and quantifies the risk of side-channel leakage from public metrology releases by developing a statistical audit framework that yields precise information-theoretic bounds.
Papers
Quantifying Side-Channel Leakage in Public Metrology Releases
The paper formalizes and quantifies the risk of side-channel leakage from public metrology releases by developing a statistical audit framework that yields precise information-theoretic bounds.