HoTSoS 2024 Program Agenda
| TIMES ARE LISTED IN CDT | ||
| TUESDAY, APRIL 2 | ||
| SESSION 1 | ||
| 9:30 - 1000 | Networking, log into the platform and chat with other attendees | |
| 1000 - 1015 | Welcome and Opening Remarks Adam Petz (KU), Alex Velazquez (NRL), Adam Tagert (NSA), Rita Bush (NSA) |
|
| 1015 - 1115 | KEYNOTE PRESENTATION: Language Models for Formal Proof Talia Ringer (UIUC) Moderator: Alex Velazquez (NRL) |
|
| 1115 - 1130 | BREAK | |
| SESSION 2 | ||
| 1130 - 1215 | WIP: Large Language Models for Static Analysis Yu Hao (UC, Riverside) Discussant/Moderator: Marc Glass (NSA) |
|
| 1215 - 1315 | LUNCH & NETWORKING Preview posters in Gather |
|
| SESSION 3 | ||
| 1315 - 1415 | Best Cybersecurity Paper Competition Invited Talk Winner Bots, Crawlers, and Spiders: Understanding How Automated Web Clients Find and Attack their Victims Nick Nikiforakis (Stony Brook University) Moderator: Adam Tagert (NSA) |
|
| 1415 - 1500 | PANEL: Best Practices for Doing/Reviewing Research Papers in a Program Committee Yan Shoshitaishvili (ASU), Anna Marie Ortloff (University of Bonn), Arun Vishwanath (Avant Research Group, LLC), Jeffrey Carver (University of Alabama) Moderator: Adam Tagert (NSA) |
|
| 1500 - 1515 | BREAK |
|
| SESSION 4 | ||
| 1515 - 1600 | WIP: Studying Cyber Behavior with Honeypots Jingyang Zou (JHU), Zhaoxi Sun (JHU), Chunyen Ku (JHU) Discussant: Rick Van Tassel (NSA) |
|
| 1600 - 1615 | BREAK | |
| 1615 - 1640 | Adversarial Data-Augmented Resilient Intrusion Detection System for Unmanned Aerial Vehicles Muneeba Asif (FIU) Moderator: Jack Dolan (NSA) |
|
| 1640 - 1705 | SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers Yu Hao (UC, Riverside) Moderator: Jack Dolan (NSA) |
|
| 1705 - 17:35 | NETWORKING | |
| WEDNESDAY, APRIL 3 | ||
| SESSION 5 | ||
| 0955 - 1000 | Welcome | |
| 1000 - 1045 | WIP: Deep Graph Neural Networks for Malware Detection using Ghidra P-Code Rinaldo Iorizzo (RIT) Discussant: Brad Kline (NSA) |
|
| 1045 - 1130 | WIP: Understanding Vulnerability Discovery in Expert and Novice Binary Analysts’ Behavior K. Raghav Bhat (ASU) Discussant: Daniel Votipka (Tufts University) |
|
| 1130 - 1215 | POSTER SESSION / BREAK | |
| 12:15 - 13:15 | LUNCH & NETWORKING | |
| SESSION 6 | ||
| 1315 - 1415 | KEYNOTE PRESENTATION: Retrospective: 30 years of Cybersecurity R&D Stephen Smalley (NSA) Moderator: Adam Tagert (NSA) |
|
| 1415 - 1500 | PANEL: Future of Foundational Research Neal Ziring (NSA), Evan Austin (NRL), Aaron Ferguson (NSA), and Cathie Cope (NSA) Moderator: Adam Tagert (NSA) |
|
| 1500 - 1515 | .BREAK |
|
| SESSION 7 | ||
| 1515 - 1540 | Formal Specification and Verification of Architecturally-defined Attestation Mechanisms in Arm CCA and Intel TDX Muhammad Usama Sardar (TU Dresden) Moderator: Grant Jurgensen (Kestrel) |
|
| 1540 - 1605 | Security Misconfigurations in Open Source Kubernetes Manifests: An Empirical Study Akond Rahman (Auburn University) Moderator: Grant Jurgensen (Kestrel) |
|
| 1605 - 1630 | An Attack Volume Metric Massimiliano Albanese (GMU) Moderator: Grant Jurgensen (Kestrel) |
|
| 1630 - 1715 | RESEARCH SPEED NETWORKING SESSION ON GATHER | |
| THURSDAY, APRIL 4 | ||
| SESSION 8 | ||
| 0955 - 1000 | Welcome | |
| 1000 - 10:45 | WIP: Rigorously Tested Cyber Deception Technologies Jason Landsborough (NPS) Discussant: Andi Rogers (NSA) |
|
| 1045 - 1130 | WIP: Autonomous Cyber Defense Hunter Bergstrom (Vanderbilt) Discussant: Ahmad Ridley (NSA) |
|
| 1130 - 1155 | A Tale of Two Industroyers: It was the Season of Darkness Luis Salazar (UCSC) Moderator: David Tamez (KU) |
|
| 1155 - 1220 | Building and Testing a Network of Social Trust in an Underground Forum: Robust Connections and Overlapping Criminal Domains Dalyapraz Manatova (IU) Moderator: David Tamez (KU) |
|
| 1220 - 1315 | LUNCH & NETWORKING |
|
| SESSION 9 | ||
| 1315 - 1415 | KEYNOTE PRESENTATION: Defeating Ransomware, How a Small, Midwestern University Defeated Ransomware Adversaries Aaron Weissenfluh (Tenfold Security) Moderator: Adam Petz (KU) |
|
| 1415 - 1430 | BREAK | |
| SESSION 10 | ||
| 1430 - 1515 | PANEL: Gaps and research challenges for Zero-Trust Karen Uttecht (MIT), Tim Morrow (CERT), Selcuk Uluagac (FIU), Shelly Kelly (NSA) Moderator: Alex Velazquez (NRL) |
|
| 1515 - 1540 | MAYALOK: A Cyber-Deception Hardware Using Runtime Instruction Infusion Preet Derasari (GWU) Moderator: Alex Velazquez (NRL) |
|
| 1540 - 1550 | Announcement of Winning Poster / Closing Remarks | |
| 1550 | Adjourn | |
| SYMPOSIUM ADJOURNED | ||
HoTSoS features a unique session type, the Works in Progress (WIP). This session assists authors in writing high quality research papers by having a community discussion on the research early in the research process. This early feedback enables researchers to adjust on-going research to respond to concerns traditionally raised after the research and paper are completed and it is being peer-reviewed for conferences and journals. This early presentation promotes faster and easier publication.