Transactional Encoding for Tolerating Transient Hardware Errors. - Jons-Tobias Wamhoff; Mario Schwalbe; Rasha Faqeh; Christof Fetzer; Pascal Felber (SSS, 2013)

HAFT: hardware-assisted fault tolerance. - Dmitrii Kuvaiskii; Rasha Faqeh; Pramod Bhatotia; Pascal Felber; Christof Fetzer (EuroSys, 2016)

T-Lease: a trusted lease primitive for distributed systems. - Bohdan Trach; Rasha Faqeh; Oleksii Oleksenko; Wojciech Ozga; Pramod Bhatotia; Christof Fetzer (SoCC, 2020)

Formal Foundations for Intel SGX Data Center Attestation Primitives. - Muhammad Usama Sardar; Rasha Faqeh; Christof Fetzer (ICFEM, 2020)

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. - Rasha Faqeh; Christof Fetzer; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Marcel Steinmetz; Christoph Weidenbach (ISoLA (2), 2020)

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. - Martin Bromberger; Irina Dragoste; Rasha Faqeh; Christof Fetzer; Markus Krötzsch; Christoph Weidenbach (FroCoS, 2021)

CHORS: hardening high-assurance security systems with trusted computing. - Wojciech Ozga; Rasha Faqeh; Do Le Quoc; Franz Gregor; Silvio Dragone; Christof Fetzer (SAC, 2022)

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. - Martin Bromberger; Irina Dragoste; Rasha Faqeh; Christof Fetzer; Larry González; Markus Krötzsch; Maximilian Marx 001; Harish K. Murali; Christoph Weidenbach (TACAS (1), 2022)

Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing. - Wojciech Ozga; Rasha Faqeh; Do Le Quoc; Franz Gregor; Silvio Dragone; Christof Fetzer (CoRR, 2022)

PCRAFT: Capacity Planning for Dependable Stateless Services. - Rasha Faqeh; André Martin; Valerio Schiavoni; Pramod Bhatotia; Pascal Felber; Christof Fetzer (CoRR, 2022)

Capacity planning for dependable services. - Rasha Faqeh; André Martin; Valerio Schiavoni; Pramod Bhatotia; Pascal Felber; Christof Fetzer (Theor. Comput. Sci., 2023)