Visible to the public  Fall'21 Science of Security Quarterly Lablet Meeting
Nov 15, 2021 10:00 am - Nov 16, 2021 4:00 pm CST

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:



Visible to the public Tenure Track Assistant or Associate Professor Position in Automotive Software Systems and Architectures

Tenure Track Assistant or Associate Professor Position in Automotive Software Systems and Architectures

University of Oulu (Finland) is seeking outstanding candidates to apply for a 5-year tenure track Assistant or Associate Professor position in Automotive Software Systems and Architectures.

Full details and electronic application system at

There are three alternative research units for the position.


Visible to the public A Look at Resilience Breakdowns of Human-assisted Cyber Reasoning Systems

Yan Shoshitaishvili is an Assistant Professor at Arizona State University, where he pursues parallel passions of cybersecurity research, real-world impact, and education. His research focuses on automated program analysis and vulnerability detection techniques. Aside from publishing dozens of research papers in top academic venues, Yan led Shellphish's participation in the DARPA Cyber Grand Challenge, achieving the creation of a fully autonomous hacking system that won third place in the competition.


Visible to the public Resiliency in Systems Engineering Context

Bill Scherlis is a professor of computer science at Carnegie Mellon University (CMU). He recently completed a second tour at DARPA, where he served as Director of the Information Innovation Office (I2O) from Sept 2019 to May 2022 and as Special Assistant to the Director from May to Sept 2022. As I2O director, he led program managers in the development of research programs in cyber operations, secure and resilient systems, AI, and information operations.


Visible to the public Attestation and Time

Perry Alexander is the AT&T Foundation Distinguished Professor of Electrical and Computer Science and Director of the Institute for Information Sciences at the University of Kansas. His research and teaching interests include formal verification and synthesis, trusted systems, and programming language semantics.


Visible to the public CyberAI: Defense through Offense

Dr. Paul Roysdon is the Leidos AI/ML Chief Scientist and both a Technical Fellow and Master-level Solution Architect. He presently provides technical leadership in the Leidos Artificial Intelligence and Machine Learning (AI/ML) Accelerator and leads the Leidos Cyber AI research portfolio.


Visible to the public Cognitive Aid for Vulnerability Analysis (CAVA)

Rajan Bhattacharyya is Director of R&D in the Intelligent Systems Laboratory at HRL Laboratories. His research interests include neurocognitive modeling, brain-machine interfaces, and AI. Rajan received a PhD in Computation and Neural Systems from Caltech, and a Bachelor's of Science in Electrical Engineering and Computer Science from UC Berkeley.


Visible to the public Attackers vs. defenders - The monumental task of leveling the playing field

Jennifer Roberts, Ph.D., serves as the Assistant Director for Health Technologies at the White House Office of Science Policy. Her portfolio includes ARPA-H, health data interoperability, information integrity, and data for the bio-economy. Prior to joining OSTP, Dr.


Visible to the public A Comparative, Sociotechnical Design Perspective on Responsible Innovation: Multidisciplinary Research and Education on Digitize

A comparative, sociotechnical design perspective on Responsible Innovation: multidisciplinary research and education on digitized energy and Automated Vehicles
David J. Hess and Dasom Lee


Visible to the public Formal Methods for All