Syntax-Guided Synthesis (SyGuS) with LLM and Predicate Sub-Typing 

Submitted by Amy Karns on

Syntax-Guided Synthesis (SyGuS) with LLM and Predicate Sub-Typing

Stéphane Graham-Lengrand, Formal Methods Group, CSL, SRI International

The emergence of generative AI, specifically LLMs, undoubtedly opens up exciting possibilities for the automated production of code.  It also raises new assurance challenges regarding the properties of the produced code, starting with the correctness of the code with respect to its intended purpose. We propose a code synthesis approach where Formal Methods guide the LLM output towards a provably correct code.

Cyberpsychology Aspects of Foreign Malign Influence

Submitted by Amy Karns on

Cyberpsychology Aspects of Foreign Malign Influence

Mia Bloom, International Security Fellow at the New America and Professor at Georgia State University
Sophia Moskalenko, Psychologist, Security ConsultantUN Office of Counter-Terrorism, International Hub for Behavioral Insights

This project  proposes  basic  research  offering  innovative, interdisciplinary insights into the processes that connect online and offline Russian malign disinformation campaigns and threats to national security.

"High School Student Looks to Biology to Explore New Cybersecurity Pathways at ORNL"

"High School Student Looks to Biology to Explore New Cybersecurity Pathways at ORNL"

Elton Aba, a junior at Bearden High School in Knoxville and intern at Oak Ridge National Laboratory (ORNL), worked with researchers to explore how biology can inform cybersecurity. Aba shared some of his discoveries regarding the potential of biomimicry to help secure US critical infrastructure. Aba collaborated with senior cyber researcher Nate Evans on a bio-inspired cybersecurity approach to system defense. With a focus on the similarities between biological and artificial defense systems, Aba and Evans sought to gain further insight into defending against a cyberattack.

Submitted by Gregory Rigby on

"UCI Team Collaborates on $15M Grant to Secure Cyber-Physical Systems"

"UCI Team Collaborates on $15M Grant to Secure Cyber-Physical Systems"

A team of security researchers from the University of California, Irvine (UCI), Arizona State University (ASU), and Huntington Ingalls Industries (HII) received a three-year $15 million grant from the US Defense Advanced Research Projects Agency (DARPA) in support of the multi-institutional "Strategic Exploration, Navigation and Patching of Abstracted Integrations" (SENPAI) project.

Submitted by Gregory Rigby on

Columbus Cybersecurity Conference

"Hear from our esteemed speakers while gaining up to 10 CPE credits. Immerse yourself in the latest cybersecurity developments to gain valuable insights in today’s dynamic threat landscape. Learn how to effectively manage risk, demo the newest technologies from an array of different sponsors, and network with your local community."

"NSA, FBI, CISA, and Allies Issue Advisory about Russian Military Cyber Actors"

"NSA, FBI, CISA, and Allies Issue Advisory about Russian Military Cyber Actors"

The National Security Agency (NSA), Federal Bureau of Investigation (FBI), Cybersecurity and Infrastructure Security Agency (CISA), and international allies have published a new Cybersecurity Advisory (CSA) titled "Russian Military Cyber Actors Target US and Global Critical Infrastructure." It details the malicious activity attributed to cyber actors affiliated with the Russian General Staff Main Intelligence Directorate (GRU) 161st Specialist Training Center (Unit 29155). This article continues to discuss the new CSA on Russian military cyber actors.

Submitted by Gregory Rigby on

Phoenix Cybersecurity Conference

"Hear from our esteemed speakers while gaining up to 10 CPE credits. Immerse yourself in the latest cybersecurity developments to gain valuable insights in today’s dynamic threat landscape. Learn how to effectively manage risk, demo the newest technologies from an array of different sponsors, and network with your local community."

Subscribe to