Intel MPX Explained

Autor: Pascal Felber, Christof Fetzer, Oleksii Oleksenko, Pramod Bhatotia, Dmitrii Kuvaiskii

Publikováno v: SIGMETRICS (Abstracts)
Oleksenko, O, Kuvaiskii, D, Bhatotia, P, Felber, P & Fetzer, C 2018, ' Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack ', Proceedings of the ACM on Measurement and Analysis of Computing Systems, vol. 2, no. 2, 28, pp. 28:1-28:30 . https://doi.org/10.1145/3224423

Memory-safety violations are the primary cause of security and reliability issues in software systems written in unsafe languages. Given the limited adoption of decades-long research in software-based memory safety approaches, as an alternative, Inte

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::946476aa0b09c99588d38d45515ed67e
https://doi.org/10.1145/3224423

Trusted execution environment with Intel SGX

Autor: Michael Steiner, Thomas Knauth, Mona Vij, Dmitrii Kuvaiskii, Somnath Chakrabarti

Trusted execution environments (TEE) are emerging as a new form of computing on today's hardware. TEEs ensure that code outside of the TEE, including the operating system and hypervisor, cannot compromise the execution integrity and confidentiality o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b6e80f1987cf31d74d17a823e55b48c1
https://doi.org/10.1016/b978-0-12-816197-5.00008-5

Fex: A Software Systems Evaluator

Autor: Christof Fetzer, Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia

Publikováno v: Oleksenko, O, Kuvaiskii, D, Bhatotia, P & Fetzer, C 2017, Fex: A Software Systems Evaluator . in The 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2017) . Institute of Electrical and Electronics Engineers (IEEE), Denver, CO, USA, pp. 543-550, 47th IEEE/IFIP International Conference on Dependable Systems and Networks, Denver, United States, 26/06/17 . https://doi.org/10.1109/DSN.2017.25
DSN

Software systems research relies on experimental evaluation to assess the effectiveness of newly developed solutions. However, the existing evaluation frameworks are rigid (do not allow creation of new experiments), oftensimplistic (may not reveal is

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e20780d1673245dae81825cadfd66e6
https://hdl.handle.net/20.500.11820/448b97f0-c26d-410c-9fc9-75211dee79a8

HAFT

Autor: Pramod Bhatotia, Pascal Felber, Dmitrii Kuvaiskii, Rasha Faqeh, Christof Fetzer

Publikováno v: EuroSys
Kuvaiskii, D, Faqeh, R, Bhatotia, P, Felber, P & Fetzer, C 2016, HAFT: Hardware-assisted Fault Tolerance . in Proceedings of the Eleventh European Conference on Computer Systems ., 25, EuroSys '16, New York, NY, USA, pp. 1-17, The 11th ACM European Conference on Computer Systems, London, United Kingdom, 18/04/16 . https://doi.org/10.1145/2901318.2901339

Transient hardware faults during the execution of a program can cause data corruptions. We present HAFT, a fault tolerance technique using hardware extensions of commodity CPUs to protect unmodified multithreaded applications against such corruptions

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47c86bd98282df1a34b0a0d14ace6a75
https://doi.org/10.1145/2901318.2901339

Δ-Encoding: Practical Encoded Processing

Autor: Christof Fetzer, Dmitrii Kuvaiskii

Publikováno v: DSN

Transient and permanent errors in memory and CPUs occur with alarming frequency. Although most of these errors are masked at the hardware level or result in crashes, a non-negligible number of them leads to Silent Data Corruptions (SDCs), i.e., incor

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c25f624d69b2c3fa8db242a71e4fda73
https://doi.org/10.1109/dsn.2015.20