Rasha Faqeh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2013–2022
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SAC | CHORS: hardening high-assurance security systems with trusted computing. | Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer |
| 2022 | SSS | Capacity Planning for Dependable Services. | Rasha Faqeh, Andr Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer |
| 2022 | TACAS | A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry Gonzlez, Markus Krtzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach |
| 2020 | CLOUD | T-Lease: a trusted lease primitive for distributed systems. | Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer |
| 2020 | ICFEM | Formal Foundations for Intel SGX Data Center Attestation Primitives. | Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer |
| 2020 | ISoLA | Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. | Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Maximilian A. Khl, Marcel Steinmetz, Christoph Weidenbach |
| 2016 | EuroSys | HAFT: hardware-assisted fault tolerance. | Dmitrii Kuvaiskii, Rasha Faqeh, Pramod Bhatotia, Pascal Felber, Christof Fetzer |
| 2013 | SSS | Transactional Encoding for Tolerating Transient Hardware Errors. | Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber |