research
∙
06/01/2022
Defensive Design of Saturating Counters Based on Differential Privacy
The saturating counter is the basic module of the dynamic branch predict...
share
research
∙
05/16/2022
Analyzing FreeRTOS Scheduling Behaviors with the Spin Model Checker
FreeRTOS is a real-time operating system with configurable scheduling po...
research
∙
08/04/2020
Verifying Pufferfish Privacy in Hidden Markov Models
Pufferfish is a Bayesian privacy framework for designing and analyzing p...
research
∙
08/07/2018