HotSoS 2022 Program Agenda

 

TIMES ARE LISTED IN CDT PRINT-FRIENDLY VERSIONS BY TIME ZONE:  
EDT | CDT | MDT | PDT | CEST | BST  
TUESDAY, MARCH 29  
  Check out the virtual platforms and test your settings  
 		  
TUESDAY, APRIL 5
0930 - 1000 Networking, log into the platform and chat with other attendees  
 		  
1000 - 1015 Welcome and Opening Remarks  

 
1015 - 1115 KEYNOTE PRESENTATION: Cybersecurity Threat Landscape   

Jason Burt  
CISA  
 
1115 - 1135 BREAK  
 
Work-in-Progress (WiP) Session 1  
1135 - 1220 Attack scenarios on Industrial Control Systems  
Stanislav Abaimov, Joseph Gardiner and Awais Rashid  

Discussant:  
 
1220 - 1305 Resilient Target Pursuit for Multi-UAV Systems  
Nicholas Potteiger, Mudassir Shabbir, Scott Eisele, Mark Wutka and Xenofon Koutsoukos  

Discussant:  
 
1305 - 1405 LUNCH & NETWORKING  
Preview posters in Gather  
 
Work-Already-Published Session 1  
1405 - 1430 Flexible Mechanism for Remote Attestation  
Sarah Helble, Ian Kretz, Peter Loscocco, John Ramsdell, Paul Rowe and Perry Alexander  

 
1430 - 1455  Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification  
Muhammad Usama Sardar, Saidgani Musaev and Christof Fetzer  

 
1500 - 1515 BREAK  
 
Work-Already-Published Session 2  
1515 - 1540 Consent as a Foundation for Responsible Autonomy  
Munindar Singh  

 
1540 - 1605 Verified Cryptographic Code for Everybody  
Brett Boston, Samuel Breese, Josiah Dodds, Mike Dodds, Brian Huffman, Adam Petcher and Andrei Stefanescu  

 
1610 - 1640 NETWORKING  
Preview posters in Gather  
 
WEDNESDAY, APRIL 6
0955 - 1000 Welcome  


 		  
1000 - 1100 KEYNOTE PRESENTATION:Trustworthy AI  

Jeanette Wing  
Columbia University  
 
1100 - 1120 BREAK  
 
Work-in-Progress (WiP) Session 2  
1120 - 1205 Verification of Cyber Emulation Experiments Through Virtual Machine and Host Metrics  
Jamie Thorpe, Laura P. Swiler, Seth Hanson, Gerardo Cruz, Thomas Tarman, Trevor Rollins and Bert Debusschere  

Discussant:  
 
1205 - 1250 A Bayesian Framework for Incorporating Uncertainty in Cybersecurity Incident Response  
Hoang Hai Nguyen, Kartik Palani and David Nicol  

Discussant:  
 
1250 - 1350 LUNCH & NETWORKING  
Preview posters in Gather  
 
1350 - 1420 NSA Best Cybersecurity Paper Competition Honorable Mention: Retrofitting Fine Grain Isolation in the Firefox Renderer  
Shravan Narayan  
UC San Diego  
 
1420 - 1430 .BREAK  
 
Work-Already-Published Session 3  
1430 - 1455 You Make Me Tremble: A First Look at Attacks Against Structural Control Systems  
Abel Zambrano, Alejandro Palacio-Betancur, Luis Burbano, Andres Felipe Niño, Luis Felipe Giraldo, Mariantonieta Gutierrez Soto, Jairo Giraldo and Alvaro A. Cardenas  

 
1455 - 1520 Evaluating Mail-Based Security for Electoral Processes Using Attack Trees  
Natalie Scala, Paul Goethals, Josh Dehlinger, Yeabsira Mezgebe, Betelhem Jilcha and Isabella Bloomquist  

 
1520 - 1545 MLEFlow: Learning from History to Improve Load Balancing in Tor  
Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir Dullerud and Sayan Mitr  

 
1545 - 1610 FAIXID: A Framework for Enhancing AI Explainability of Intrusion Detection Results Using Data Cleaning Techniques  
Hong Liu, Chen Zhong, Awny Alnusair and Sheikh Islam  

 
1615 - 1715 POSTER SESSION ON GATHER  
 
THURSDAY, APRIL 7  
0955 - 1000 Welcome  


 
1000 - 1100 KEYNOTE PRESENTATION  

Mark Tuttle  
Amazon  
 
1100 - 1130 NSA Best Cybersecurity Paper Competition Winner: On One-way Functions and Kolmogorov Complexity   
Yanyi Liu (Cornwell University) and Raphael Pass (Cornell Tech)  
 
1130 - 1150 BREAK  
 
Work-in-Progress (WiP) Session 3  
1150 - 1235 DNSauth - When Step Up Authentication is Not Enough  
Sam Hays, Michael Sandborn and Jules White  

Discussant: Stephanie Polczynski  
 
1235 - 1320 Detecting malicious agents in partially observed mixed-autonomy vehicular traffic  
George Gunter, Daniel Work and Carl Gunter  

Disscussant:   
 
1320 - 1420 LUNCH & NETWORKING  
 
Work-Already-Published Session 4  
1420 - 1445 Explore Capabilities and Effectiveness of Reverse Engineering Tools to Provide Memory Safety for Binary Programs  
Ruturaj Kiran Vaidya, Prasad A. Kulkarni and Michael R. Jantz  

 
1445 - 1510 Empirical Study of PLC Authentication Protocols in Industrial Control Systems  
Adeen Ayub, Hyunguk Yoo and Irfan Ahmed  

 
1510 - 1535 Tracing Your Roots: Exploring the TLS Trust Anchor Ecosystem  
Zane Ma, James Austgen, Joshua Mason, Zakir Durumeric and Michael Bailey  

 
1540 - 1555 Announcement of Winning Poster & Closing remarks  
 
SYMPOSIUM ADJOURNED