| Time | Session & Title & Authors |
|---|---|
| 8:30 AM – 8:40 AM | Welcome remarks |
| 8:40 AM – 10:10 AM |
Session 1 (Chair: TBD) Secure Software, Vulnerabilities, and Exploitation Comprehending the Vulnerability Lifecycle: Targeting, Testing, and Repairing Security-Critical Systems Bits to Boot: Automated Vulnerability Discovery and Exploitation Analysis of Firmware A Unified Approach to Bridge Snapshot Fuzzing from Low-Level Browser Vulnerabilities to Web Applications Software Exploitation in the Post-Control Flow Integrity Era Mitigations and Formal Verification for Speculative Execution Attacks in CHERI Architectures Memory Safety for Commodity Graphics Processing Units |
| 10:10 AM – 10:30 AM | Conference coffee break |
| 10:30 AM – 12:30 PM |
Session 2 (Chair: TBD) Trustworthy AI and Adaptive Cyber Defense Trustworthy LLM Unlearning and Beyond Auditable Uncertainty Control for Secure LLM Agents Improving Transparency and Accountability in AI Data Use Characterizing and Enforcing Interaction Integrity on the Immersive Web Large Language Models For Narrative-Driven Cyber Deception Knock, Knock: Who’s There? Towards Adversary-Aware Adaptive Cyber-Deception Securing Software in the Age of Large Language Models Evaluating Anti-Phishing Systems in Practice |
| 12:30 PM – 2:00 PM | Lunch and mentoring session |
| 2:00 PM – 3:30 PM |
Session 3 (Chair: TBD) Cryptography and Secure Communication Blockchain Protocols across Heterogeneous Cryptocurrencies From First Secret to Moving Target: Measuring Information Access Under Network Control Beyond Approximate Arithmetic: Efficient Homomorphic Computation with Discrete CKKS Towards Practical Post-Quantum Signature Aggregation Towards Quantum-Resistant Crypto-Agile Authentication, Authorization, and Accountability for Time-Critical Communication in IEC 61850 Digital Substations Practical Post-Quantum Quorum Privacy via Structured Threshold Ring Signatures |
| 3:30 PM – 4:00 PM | Conference coffee break |
| 4:00 PM – 5:00 PM |
Session 4 (Chair: TBD) Privacy From Implicit Defaults to Deliberate Decisions: Privacy Design for Vibe-Coded Applications Systematic Security and Privacy Auditing of the Android Ecosystem via Automated System-Level Re-Hosting Structure-Aware Verifiability for Privacy-Enhancing Computation: Efficient, Dynamic, Deployable Post-Signing Privacy for Signatures and Source-Verifiable Systems |