Visible to the public Fall'21 Science of Security Quarterly Lablet MeetingConflict Detection Enabled

The Fall'21 Science of Security Quarterly Lablet Meeting will be hosted by The University  of Kansas on November 15-16, 2021. The program agenda will include invited talks from Dr. Robert Runser (NSA) and Dr. Natarajan Shankar (SRI) as well as briefs from the Lablets. 

The meeting will be virtual. To gain access to the meeting, please register here:


-- Times are listed in EST --
  1100 - 1115 Welcome and Opening Remarks
Perry Alexander (University of Kansas)
Heather Lucas (National Security Agency)
Moderator: Adam Tagert (National Security Agency)
  1115 - 1145 Invited Talk: Unclassified Challenges Facing Cybersecurity
Dr. Robert Runser, NSA Research Directorate Technical Director
  1145 - 1230 KU Lablet Project Talk: Micro-Architectural Attacks and Defenses
Heechul Yun (The University of Kansas)
Moderator: Perry Alexander (University of Kansas)
  1315 - 1400 UIUC Lablet Project Talk: An Automated Synthesis Framework for Network Security and Resilience
Matt Caesar (UIUC), Kevin Jin (University of Arkansas), and Gabriella Xue (UIUC) 
  1400 - 1445 VU Lablet Project Talk: Digital Transformation of Societal Systems: A New Hope: Hackers Strike Back (with apologies to Star Wars)
Lillian Ratliff (University of Washington), Eric Mazdumar (Caltech), S. Shankar Sastry (UC Berkeley)
  1445 - 1545 Networking via Gather
Moderator: Perry Alexander (University of Kansas)
  1100 - 1145 Invited Talk: Composing High-Assurance Software with the Evidential Tool Bus
Natarajan Shankar (SRI International)
  1145 - 1230 NCSU Lablet Project Talk: Guidelines for Reporting Scientifically Rigorous and Valid Cyber Security Research
Jeffrey Carver and Matthew Armstrong (University of Alabama)
  1230 - 1315 BREAK / NETWORKING
Moderator: Adam Tagert (National Security Agency)
  1315 - 1400 CMU Lablet Project Talk: Model-Based Explanation for Automated Decision Making
David Garlan (Carnegie Mellon University)
  1400 - 1445 ICSI Lablet Project Talk: Perspectives of Stakeholders in Data Governance
Julia Bernd (International Computer Science Institute)
  1445 - 1500 NSF-funded C3E Challenge Problem Opportunity
Dan Wolf and Don Goff (Cyberpack Ventures, Inc.)
  1500 - 1515 Closing Remarks
  1515 ADJOURN
  1600 - 1700 CLOSED PI MEETING

Virtual Venue

The meeting will be held on the Hopin virtual platform. You must register to gain access to the platform. Log in particulars will be sent to all registrants on Sunday, November 14.

Tips for a great experience at the virtual Lablet meeting:

#1 Join from a compatible browser. Hopin works best on Chrome and Firefox.

#2 Ensure a solid internet connection and network. 

  • We recommend using a laptop or PC, instead of a phone or a tablet.
  • We recommend a minimum internet speed of 5 Mbps download and 2 Mbps upload. Test your speed here.
  • Keep in mind that firewalls and VPNs can impact your ability to access the event. Instructions for configuring your network connectivity settings can be found here.

#3 Check out the tutorial video. There is a comprehensive platform overview video on the HotSoS website at 

#4 Find Help. There will be a Help Desk in the Hopin platform for entire duration of the event. In Hopin, select the Help Desk icon from the left vertical menu. You can also email the organizers at

Spotlight Slideshow Image: