research
∙
06/15/2022
PCRAFT: Capacity Planning for Dependable Stateless Services
Fault-tolerance techniques depend on replication to enhance availability...
share
research
∙
05/12/2022
Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing
High-assurance security systems require strong isolation from the untrus...
research
∙
01/24/2022
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In a previous paper, we have shown that clause sets belonging to the Hor...
research
∙
07/07/2021
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
The Bernays-Schönfinkel first-order logic fragment over simple linear re...
research
∙
01/16/2021