research
∙
08/17/2023
Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer
Information leakage is a class of error that can lead to severe conseque...
share
research
∙
04/06/2023
GI Software with fewer Data Cache Misses
By their very name caches are often overlooked and yet play a vital role...
research
∙
06/28/2022
Quantitative Verification of Opacity Properties in Security Systems
We delineate a methodology for the specification and verification of flo...
research
∙
08/27/2021
HyperGI: Automated Detection and Repair of Information Flow Leakage
Maintaining confidential information control in software is a persistent...
research
∙
12/07/2020
Multitask machine learning of collective variables for enhanced sampling of rare events
Computing accurate reaction rates is a central challenge in computationa...
research
∙
11/21/2020
An Empirical Study on Failed Error Propagation in Java Programs with Real Faults
During testing, developers can place oracles externally or internally wi...
research
∙
04/25/2019
SafeStrings: Representing Strings as Structured Data
Strings are ubiquitous in code. Not all strings are created equal, some ...
research
∙
06/26/2018