Fall'21 Science of Security Quarterly Lablet Meeting
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: https://cps-vo.org/LabletQTRLY/2021/KU-register
Agenda
| -- Times are listed in EST -- | ||
| MONDAY, NOVEMBER 15 | ||
| 1100 - 1115 | Welcome and Opening Remarks Perry Alexander (University of Kansas) Heather Lucas (National Security Agency) |
|
| SESSION 1 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) |
|
| 1230 - 1315 | BREAK / NETWORKING IN GATHER | |
| SESSION 2 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 | |
| TUESDAY, NOVEMBER 16 | ||
| SESSION 3 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 | |
| SESSION 4 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 | |
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 https://cps-vo.org/group/hotsos/venue
#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 sos.team@cps-vo.org
