author-photo

Christof Fetzer

Dresden University of Technology
University of California, San Diego
AT&T Labs

399

Papers

6907

Citations

Citation Trend

Filter By

Papers (399) Sort By

Journal Conference Others

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

2022 | TACAS (2)
Show All
- Source
- Cite
- Save
Citations (0)
CHORS: hardening high-assurance security systems with trusted computing.

2022 SAC | ACM Symposium on Applied Computing
Show All
- Source
- Cite
- Save
Citations (0)
Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Revizor: testing black-box CPUs against speculation contracts

2022 ASPLOS | Architectural Support for Programming Languages and Operating Systems
Show All
- Source
- Cite
- Save
Citations (0)
ADAM-CS: Advanced Asynchronous Monotonic Counter Service

2021 DSN | Dependable Systems and Networks
Show All
- Source
- Cite
- Save
Citations (1)
Transient Execution of Non-Canonical Accesses

2021 arXiv: Cryptography and Security
- Saidgani Musaev
- Christof Fetzer
Show All
- Source
- Cite
- Save
Citations (1)
T-Lease: A Trusted Lease Primitive for Distributed Systems.

2021 arXiv: Distributed, Parallel, and Cluster Computing
Show All
- Source
- Cite
- Save
Citations (0)
SecFL: Confidential Federated Learning using TEEs

2021 arXiv: Cryptography and Security
- Do Le Quoc
- Christof Fetzer
Show All
- Source
- Cite
- Save
Citations (0)
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Perun: Secure Multi-Stakeholder Machine Learning Framework with GPU Support.

2021 arXiv: Learning
Show All
- Source
- Cite
- Save
Citations (2)