37 citations · 134 across the 16 of their papers we have counts for
12 papers · 1 filter
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…
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…
WELES: Policy-driven Runtime Integrity Enforcement of Virtual Machines
Wojciech Ozga, Do Le Quoc, Christof Fetzer
Trust is of paramount concern for tenants to deploy their security-sensitive services in the cloud. The integrity of VMs in which these services are deployed needs to be ensured ev…
secureTF: A Secure TensorFlow Framework
Do Le Quoc, Franz Gregor, Sergei Arnautov +3
Data-driven intelligent applications in modern online services have become ubiquitous. These applications are usually hosted in the untrusted cloud computing infrastructure. This p…
A practical approach for updating an integrity-enforced operating system
Wojciech Ozga, Do Le Quoc, Christof Fetzer
Trusted computing defines how to securely measure, store, and verify the integrity of software controlling a computer. One of the major challenges that make them hard to be applied…