Visible to the public CMU Lablet Recent Activities

SoS Newsletter- Advanced Book Block

CMU Lablet Activities

The following is a brief summary of recent activities by the CMU Lablet as reported in the SoS Quarterly Summary Report.

Fundamental Research

  • Carnegie Mellon University has conducted several notable studies involving novel analysis techniques for early problem detection, as well as dynamic security assurance. Among these include a technique based on patterns and predetermined requirements intended to discover possible security flaws in the early design stages. CMU has also seen development of a stochastic algorithm to help with reasoning in large planning problems, a program logic that navigates attacker-implemented code, a technique to enforce security constraints at runtime, and a dynamic analysis technique for detecting data races at runtime.

Community Interaction

  • In terms of community engagement, CMU hosted the CASOS Summer Institute, which serves to make familiar and put into practice concepts of network analytics. Following the Institute, CMU invited guests from four universities, subcontractors, and government organizations for the first Lablet Community Quarterly Meeting, which included workshop sessions and discussions centered around advancing the scientific process of cybersecurity research. The 10th Symposium on Usable Privacy and Security was held, chaired by a notable CMU faculty member.


  • Carnegie Mellon is making advances in both undergraduate and graduate education. The Institute for Software Research (ISR) at Carnegie Mellon now offers Masters degrees in Privacy Engineering, while at the undergraduate level, software engineering courses are being revamped, and topics such as security, data analysis, and developer studies are seeing changes. PhD students' shifts to including more experimental and data-focused approaches in their work has prompted the university to recognize and reflect such shifts in the core graduate curriculum.

For more information about CMU Lablet activities go to Carnegie Mellon University


Articles listed on these pages have been found on publicly available internet pages and are cited with links to those pages. Some of the information included herein has been reprinted with permission from the authors or data repositories. Direct any requests via Email to SoS.Project (at) for removal of the links or modifications to specific citations. Please include the ID# of the specific citation in your correspondence.