Work-in-Progress: Formal Verification of Resource-Constrained Cyber Strategies across Macro, Meso, and Micro Scales Read more about Work-in-Progress: Formal Verification of Resource-Constrained Cyber Strategies across Macro, Meso, and Micro Scales ABSTRACT
Work-in-Progress: Towards Adaptive Contextual Safety in Multi-Modal LLMs Read more about Work-in-Progress: Towards Adaptive Contextual Safety in Multi-Modal LLMs ABSTRACT
Work-in-Progress: Establishing Systems Level Competitive Leaderboards for Network Security Read more about Work-in-Progress: Establishing Systems Level Competitive Leaderboards for Network Security ABSTRACT
Identity Crisis in Confidential Computing: Formal Analysis of Attested TLS Read more about Identity Crisis in Confidential Computing: Formal Analysis of Attested TLS ABSTRACT
TickTock: Verified Isolation in a Production Embedded OS Read more about TickTock: Verified Isolation in a Production Embedded OS ABSTRACT
Security Reasoning via Substructural Dependency Tracking Read more about Security Reasoning via Substructural Dependency Tracking ABSTRACT
CHAI: Command Hijacking against embodied AI Read more about CHAI: Command Hijacking against embodied AI ABSTRACT
What do Geometric Hallucination Detection Metrics Actually Measure? Read more about What do Geometric Hallucination Detection Metrics Actually Measure? ABSTRACT
LLM Honeypot: Leveraging large language models as advanced interactive honeypot systems Read more about LLM Honeypot: Leveraging large language models as advanced interactive honeypot systems ABSTRACT
Decompiling the Synergy: An Empirical Study of Human–LLM Teaming in Software Reverse Engineering Read more about Decompiling the Synergy: An Empirical Study of Human–LLM Teaming in Software Reverse Engineering ABSTRACT