Visible to the public Science of Security Lablet Quarterly - July 2021Conflict Detection Enabled

Summer 2021 Quarterly Science of Security Lablet Meeting 

The summer'21 meeting will be hosted virtually by Carnegie Mellon University on July 13-14, 2021. 
The theme for the meeting is AI and Machine Learning.
Please register below to receive credentials for the meeting platform.


Times are listed in EDT
  1100 - 1115 Welcome and Opening Remarks
Jonathan Aldrich (CMU)
Heather Lucas (NSA)
  1115 - 1215 Science of Security Hard Problems Panel
Moderator: Adam Tagert (NSA)
  1215 - 1300 BREAK / NETWORKING
  1300 - 1330 Events and Stories: NLP toward Secure Software Engineering
Hui Guo (NCSU)
  1330 - 1400 Trustworthy, Robust, and Explainable ML: Joined at the Hip
Matt Fredrikson (CMU)
  1400 - 1430 Beyond Lp balls: Attacks on real-world uses of machine learning
Michael Reiter (Duke)
  1430 - 1500 Networking
  1100 - 1130 Defining Flexible Mechanisms for Attestation
Perry Alexander (KU)
  1130 - 1200 A First Look at Soft Attestation in Android Apps
Abbas Razaghpanah (ICSI)
  1200 - 1245 BREAK / NETWORKING
  1245 - 1315 Analytics of Cybersecurity Policy: Value for Artificial Intelligence?
Nazli Choucri (MIT)
  1315 - 1345 Title forthcoming
Michael Rausch (UIUC)
  1345 - 1400 Closing Remarks
Jonathan Aldrich (CMU)
Adam Tagert (NSA)
  1400 - 1430 Networking
  1400 - 1500 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 Monday, July 12.

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