2024 HotSoS Poster Directory
| # | Poster Title | Presenter Name |
|---|---|---|
| 1 | Testbed Evaluation of an Attestation-Capable, Programmable Software Switch | Wolosewicz, Alexander |
| 2 | Multi-Dimension Data Fusion using LLMs and Graph Traversal | Gonzales, Brandon |
| 3 | Combinatorial Methods for Functional Verification and Hardware Vulnerability Detection | Kuhn, Rick |
| 4 | Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions | Duclos, Martin |
| 5 | A Combinatorial Perspective towards Security Testing of Anonymity Networks | Schreiber, Dominik |
| 6 | Improving the Security of Scientific Research Software | Armstrong, Matthew |
| 7 | NSIN X-Force Written Report for Marine Corps Warfighting Laboratory (MCWL) | Sun, Edward |
| 8 | WiP Memoryless Game Plan for Trust | Quach, Vinh |
| 9 | WIP: Binary Malware Attribution using LLM Embeddings and TDA | Stone, Branden |
| 10 | WIP: Graph-based Modeling and Simulation of Emergency Services Communication Systems | Martínez Jordan, Jardi |
| 11 | WiP: Practical Adversarial Attacks on Flow-Based Network Intrusion Detection Systems | Popiołek, Paweł Jędrzej Bieniasz |
| 12 | Verified Configuration and Deployment of Layered Attestation Managers | Thomas, Will |
| 13 | Copland Attestation of a Linux Kernel using the seL4 | Neises, Michael |