HotSoS 2022 Program Agenda

Submitted by willirn1 on Thu, 03/10/2022 - 12:41pm

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