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

81 Downloads (Pure)

Original language	English
Title of host publication	2024 IEEE Symposium on Security and Privacy (SP)
Publisher	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

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

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

@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 = "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",

}

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 - IEEE

Y2 - 20 May 2024 through 23 May 2024

ER -