#SpotlightOnLabletResearch
news
Submitted by lhart on Wed, 03/29/2023 - 12:34pm
Spotlight on Lablet Research #40 -
Reasoning about Accidental and Malicious Misuse via Formal Methods
news
Submitted by lhart on Wed, 02/22/2023 - 1:33pm
Spotlight on Lablet Research #39 -
Multi-Model Test Bed for the Simulation-Based Evaluation of Resilience
news
Submitted by lhart on Wed, 01/25/2023 - 12:20pm
Spotlight on Lablet Research #38 -
Operationalizing Contextual Integrity
news
Submitted by lhart on Tue, 01/03/2023 - 5:40pm
Spotlight on Lablet Research #37 -
Model-Based Explanation for Human-in-the-Loop Security
news
Submitted by lhart on Wed, 11/30/2022 - 1:56pm
Spotlight on Lablet Research #36 -
Coordinated Machine Learning-Based Vulnerability and Security Patching for Resilient Virtual Computing Infrastructure
news
Submitted by lhart on Wed, 10/26/2022 - 8:35am
Spotlight on Lablet Research #35 -
Uncertainty in Security Analysis
news
Submitted by lhart on Wed, 09/28/2022 - 8:43am
Spotlight on Lablet Research #34 -
Foundations of CPS Resilience
news
Submitted by lhart on Wed, 08/24/2022 - 8:48am
Spotlight on Lablet Research #33 -
Side-Channel Attack Resilience
news
Submitted by lhart on Wed, 07/27/2022 - 8:37am
Spotlight on Lablet Research #32 -
Characterizing User Behavior and Anticipating its Effects on Computer Security with a Security Behavior Observatory
news
Submitted by lhart on Tue, 06/28/2022 - 1:07pm
Spotlight on Lablet Research #31 -
Predicting the Difficulty of Compromise through How Attackers Discover Vulnerabilities
