Program

Submitted by Katie Dey on Tue, 04/11/2023 - 7:37am

PROGRAM AGENDA
Monday \| Tuesday \| Wednesday \| SCC Meeting \| TCCoE Summit		Conference Timezone: EDT

MONDAY, MAY 8 Theme: Semantically Rigorous & Integrated HLA
0850 - 0900	Welcome & Opening Remarks HCSS Chairs: Patrick Lincoln (SRI International) Kristin Yvonne Rozier (Iowa State University)
0900 - 1000	Keynote: Tomorrow’s Shared-Everything Architectures Josh Fryman (Intel)
1000 - 1030	BREAK
1030 - 1100	A Framework for Assuring Increasingly Autonomous Systems in Human-Machine Teams Jennifer Davis (Collins Aerospace)
1100 - 1130	MAESTRO: Measurement and Attestation Execution and Synthesis Toolkit for Remote Orchestration Adam Petz (University of Kansas (I2S))
1130 - 1200	Tools for Assurance-based Learning-enabled Cyber-Physical Systems: An Experience Report Gabor Karsai (Vanderbilt University)
1200 - 1330	LUNCH (on your own)
1330 - 1400	Next Steps for Trustworthy Machine Learning Darren Cofer (Collins Aerospace)
1400 - 1430	Semantic Backplane for Model-Based Development Daniel Balasubramanian (Vanderbilt University)
1430 - 1500	Proteus: Automated Cyber Reasoning Bill Bierman (GrammaTech, Inc)
1500 - 1530	POSTER SESSION / BREAK
1530 - 1600	Oqarina – Mechanization of the AADL Architectural Description Language Jerome Hugues (CMU/SEI)
1600 - 1630	Leverageable Semantics Definitions and Contract Reasoning for a Technical Architecture Description Language John Hatcliff (Kansas State University)
1630 - 1700	Signet-ring: A Framework for Authenticating Sources and Lineages of Digital Objects Mahesh Arumugam and Catherine Jimerson (UC Berkeley)
1700	Adjourn for the day

TUESDAY, MAY 9 Themes: Open Source \| Protocol Verification
0900 - 1000	Keynote: Making sense of Cyber's Why, What, How and Who A discussion of a whole of nation approach to ensuring cyberspace meets our needs. Chris Inglis (Former U.S. National Cyber Director)
1000 - 1030	BREAK
1030 - 1100	Grading Open Source Software Development Practices Stephen Magill (Sonatype, Inc.)
1100 - 1130	CRAM: C++ to Rust Assisted Migration Thomas Wahl (Gramma Tech)
1130 - 1200	Bridging the Gap between Protocol Specification and Program Verification Alexander Senier (AdaCore)
1200 - 1330	LUNCH (on your own)
1330 - 1430	Keynote: From C to Rust: a Software Verification Journey Jonathan Protzenko (Microsoft Research)
1430 - 1500	Formal Verification of Security and Privacy Requirements in Modern ICT Systems Assisted by the Tamarin Security-protocol Prover Ioana Boureanu (University of Surrey, Surrey Centre for Cyber Security)
1500 - 1530	POSTER SESSION / BREAK
1530 - 1600	Secure Device Design via Protocol Analysis Joshua Guttman (The MITRE Corporation)
1600 - 1630	Reasoning about the Robustness of Protocols Eunsuk Kang (Carnegie Mellon University)
1630 - 1700	Zappa for Correctly Implementing CPSA Analyzed Protocols John Ramsdell (The MITRE Corporation)
1630	Adjourn for the day

1800	HCSS Conference Dinner Chart House Prime \| 300 Second St, Annapolis, MD 21403

WEDNESDAY, MAY 10 Themes: Proof of Bugs \| Mixed Bag
0900 - 1000	Keynote: Underapproximate Reasoning at Scale Peter O'Hearn (Lacework and University College London)
1000 - 1030	BREAK
1030 - 1100	Incorrectness Logic for Scalable Bug Detection Azalea Raad (Imperial College London)
1100 - 1130	Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities James Parker (Galois, Inc)
1130 - 1200	A Unified View of Weirdness: A Logical Framework for Emergent Execution William Harrison (Two Six Technologies)
1200 - 1330	LUNCH (on your own)
1330 - 1400	Synergizing Model-based and Data-driven Methods for CPS Design Sandeep Neema, Vanderbilt University
1400 - 1430	Scalable and Provable Distributed SAT Solving Michael Whalen (Amazon Inc. and The University of Minnesota)
1430 - 1500	Verification-Guided Development of the Cedar Authorization Language Kesha Hietala (Amazon Web Services (AWS))
1500 - 1530	POSTER SESSION / BREAK
1530 - 1600	Capabilities Labeling Greg Nelson (GrammaTech Inc.)
1600 - 1630	Zelkova: A Billion SMT Queries a Day Jeremiah Dunham (Amazon Web Services)
1630 - 1700	TCCoE Introduction HCSS Closing Remarks
1700	Adjourn for the day
CONFERENCE ADJOURNED

Conference Archives:
2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020,
2021, 2022

Submitted by willirn1 on Fri, 11/12/2021 - 12:51pm

CONFERENCE
May 16-19, 2022 (virtual)
The conference program will feature invited speakers, panel discussions, and a technical track of contributed talks. Please stay tuned for more details about the daily themes for 2022.

The conference schedule will adhere to the Eastern Daylight Timezone (EDT). The Hopin virtual conference platform will be used to host the conference. The conference is free to attend, but you must register. For an introduction to the virtual platform please visit the Virtual Venue page.

Conference Archives:
2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020,
2021

PROGRAM AGENDA FORTHCOMING