Quoc, Do Le
1519  results:
Search for persons X
?
1

TICAL: Trusted and Integrity-protected Compilation of AppLi..:

, In: 2024 19th European Dependable Computing Conference (EDCC),
 
?
2

SinClave : Hardware-assisted Singletons for TEEs:

, In: Proceedings of the 24th International Middleware Conference,
Gregor, Franz ; Krahn, Robert ; Quoc, Do Le. - p. 85-97 , 2023
 
?
3

CHORS : hardening high-assurance security systems with t..:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,
Ozga, Wojciech ; Faqeh, Rasha ; Quoc, Do Le... - p. 1626-1635 , 2022
 
?
5

TRIGLAV: Remote Attestation of the Virtual Machine's Runtim..:

, In: 2021 IEEE 14th International Conference on Cloud Computing (CLOUD),
 
?
6

Perun: Confidential Multi-stakeholder Machine Learning Fram..:

, In: Data and Applications Security and Privacy XXXV; Lecture Notes in Computer Science,
Ozga, Wojciech ; Quoc, Do Le ; Fetzer, Christof - p. 189-208 , 2021
 
?
7

Enclaves in the clouds:

Singh, Jatinder ; Cobbe, Jennifer ; Quoc, Do Le.
Communications of the ACM.  64 (2021)  5 - p. 42-51 , 2021
 
?
8

TEEMon : A continuous performance monitoring framework f..:

, In: Proceedings of the 21st International Middleware Conference,
Krahn, Robert ; Dragoti, Donald ; Gregor, Franz... - p. 178-192 , 2020
 
?
9

Towards Formalization of Enhanced Privacy ID (EPID)-based R..:

, In: 2020 23rd Euromicro Conference on Digital System Design (DSD),
 
?
10

secureTF : A Secure TensorFlow Framework:

, In: Proceedings of the 21st International Middleware Conference,
Quoc, Do Le ; Gregor, Franz ; Arnautov, Sergei... - p. 44-59 , 2020
 
?
12

A practical approach for updating an integrity-enforced ope..:

, In: Proceedings of the 21st International Middleware Conference,
Ozga, Wojciech ; Quoc, Do Le ; Fetzer, Christof - p. 311-325 , 2020
 
?
14

Trust Management as a Service: Enabling Trusted Execution i..:

, In: 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),
Gregor, Franz ; Ozga, Wojciech ; Vaucher, Sebastien... - p. 502-514 , 2020
 
?
15

LEGaTO: Low-Energy, Secure, and Resilient Toolset for Heter..:

, In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE),
Salami, B. ; Parasyris, K. ; Cristal, A.... - p. 169-174 , 2020
 
1-15