| 11th NSA Competition for Best Scientific Cybersecurity Paper Winners |
|
| 12th PC Review Team |
|
| CyberGirls @ VirginiaTech |
|
| NSA Awards Authors of Study of Automated Attacks on New Webservers |
|
| WIP: Large Language Models for Static Analysis |
|
| WIP: Understanding Vulnerability Discovery in Expert and Novice Binary Analysts’ Behavior |
|
| WIP: Autonomous Cyber Defense |
|
| PANEL: Best Practices for Doing/Reviewing Research Papers in a Program Committee |
|
| WIP: Deep Graph Neural Networks for Malware Detection using Ghidra P-Code |
|
| WIP: Rigorously Tested Cyber Deception Technologies |
|
| 2024 ISEF Puzzle |
|
| 2024 HotSoS Livestream |
|
| 2024 HotSoS Poster Directory |
|
| PANEL: Gaps and research challenges for Zero-Trust |
|
| PANEL: Future of Foundational Research |
|
| Congratulations! |
|
| 2024 HCSS Conference - Posters |
|
| Can Computers Beat Humans at Design? |
|
| Small, Reliable Ways to Use LLMs: Macro Refolding, Proof Writing, and Protocol Modeling |
|
| Metrics for Large Language Model-Generated Proofs in a High-Assurance Application Domain |
|
| Towards Creative Generative Models for Scientific Discovery |
|
| Automated Theory Substitution: Toward Proof-Driven Software Development |
|
| CHERI: Architectural Support for Memory Protection and Software Compartmentalization |
|
| AI-enabled Rapid Intelligent Systems Engineering |
|
| Generative AI for Rigorous Digital Engineering |
|