Rasha Faqeh

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 14

Top Topics

Security Systems

Trusted Computing

Datalog Programs

Top Venues

Publications

Rasha Faqeh, André Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer
Capacity planning for dependable services. Theor. Comput. Sci. 976 (2023)
Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer
CHORS: hardening high-assurance security systems with trusted computing. SAC (2022)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR (2022)
Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer
Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing. CoRR (2022)
Rasha Faqeh, André Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer
Capacity Planning for Dependable Services. SSS (2022)
Rasha Faqeh, André Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer
PCRAFT: Capacity Planning for Dependable Stateless Services. CoRR (2022)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. TACAS (1) (2022)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR (2021)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. FroCoS (2021)
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
T-Lease: A Trusted Lease Primitive for Distributed Systems. CoRR (2021)
Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer
Formal Foundations for Intel SGX Data Center Attestation Primitives. ICFEM (2020)
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
T-Lease: a trusted lease primitive for distributed systems. SoCC (2020)
Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) (2020)
Dmitrii Kuvaiskii, Rasha Faqeh, Pramod Bhatotia, Pascal Felber, Christof Fetzer
HAFT: hardware-assisted fault tolerance. EuroSys (2016)
Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber
Transactional Encoding for Tolerating Transient Hardware Errors. SSS (2013)