62 citations · 461 across the 33 of their papers we have counts for
34 papers
PCRAFT: Capacity Planning for Dependable Stateless Services
Rasha Faqeh, Andrè Martin, Valerio Schiavoni +3
Fault-tolerance techniques depend on replication to enhance availability, albeit at the cost of increased infrastructure costs. This results in a fundamental trade-off: Fault-toler…
Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing
Wojciech Ozga, Rasha Faqeh, Do Le Quoc +3
High-assurance security systems require strong isolation from the untrusted world to protect the security-sensitive or privacy-sensitive data they process. Existing regulations imp…
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Martin Bromberger, Irina Dragoste, Rasha Faqeh +6
In a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clau…
SecFL: Confidential Federated Learning using TEEs
Do Le Quoc, Christof Fetzer
Federated Learning (FL) is an emerging machine learning paradigm that enables multiple clients to jointly train a model to take benefits from diverse datasets from the clients with…
Transient Execution of Non-Canonical Accesses
Saidgani Musaev, Christof Fetzer
Recent years have brought microarchitectural security intothe spotlight, proving that modern CPUs are vulnerable toseveral classes of microarchitectural attacks. These attacksbypas…
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Martin Bromberger, Irina Dragoste, Rasha Faqeh +3
The Bernays-Schönfinkel first-order logic fragment over simple linear real arithmetic constraints BS(SLR) is known to be decidable. We prove that BS(SLR) clause sets with both univ…