Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes

Fritz Alder; Lesly-Ann Daniel; David Oswald; Frank Piessens; Jo Van Bulck

Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes

Fritz Alder
, Lesly-Ann Daniel
, David Oswald
, Frank Piessens
, Jo Van Bulck

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

780 Downloads (Pure)

Original language	English
Title of host publication	2024 IEEE Symposium on Security and Privacy (SP)
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Publication status	Accepted/In press - 28 Oct 2023
Event	45th IEEE Symposium on Security and Privacy - Hilton, San Francisco, Union Square, San Francisco, United States Duration: 20 May 2024 → 23 May 2024

Publication series

Name	Proceedings of the IEEE Symposium on Security and Privacy
Publisher	IEEE
ISSN (Print)	1063-9578
ISSN (Electronic)	2375-1207

Conference

Conference	45th IEEE Symposium on Security and Privacy
Country/Territory	United States
City	San Francisco
Period	20/05/24 → 23/05/24

Access to Document

PandoraAccepted author manuscript, 889 KBLicence: Creative Commons: Attribution-ShareAlike (CC BY-SA)

Cite this

@inproceedings{6ee5fe5c59984b72913e2c5a98d74043,

title = "Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes",

author = "Fritz Alder and Lesly-Ann Daniel and David Oswald and Frank Piessens and \{Van Bulck\}, Jo",

year = "2023",

month = oct,

day = "28",

language = "English",

series = "Proceedings of the IEEE Symposium on Security and Privacy ",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

booktitle = "2024 IEEE Symposium on Security and Privacy (SP)",

note = "45th IEEE Symposium on Security and Privacy ; Conference date: 20-05-2024 Through 23-05-2024",

}

Alder, F, Daniel, L-A, Oswald, D, Piessens, F & Van Bulck, J 2023, Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes. in 2024 IEEE Symposium on Security and Privacy (SP). Proceedings of the IEEE Symposium on Security and Privacy , Institute of Electrical and Electronics Engineers (IEEE), 45th IEEE Symposium on Security and Privacy, San Francisco, California, United States, 20/05/24.

Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes. / Alder, Fritz; Daniel, Lesly-Ann; Oswald, David et al.
2024 IEEE Symposium on Security and Privacy (SP). Institute of Electrical and Electronics Engineers (IEEE), 2023. (Proceedings of the IEEE Symposium on Security and Privacy ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Pandora

T2 - 45th IEEE Symposium on Security and Privacy

AU - Alder, Fritz

AU - Daniel, Lesly-Ann

AU - Oswald, David

AU - Piessens, Frank

AU - Van Bulck, Jo

PY - 2023/10/28

Y1 - 2023/10/28

UR - https://ieeexplore.ieee.org/xpl/conhome/1000646/all-proceedings

M3 - Conference contribution

T3 - Proceedings of the IEEE Symposium on Security and Privacy

BT - 2024 IEEE Symposium on Security and Privacy (SP)

PB - Institute of Electrical and Electronics Engineers (IEEE)

Y2 - 20 May 2024 through 23 May 2024

ER -