E-LIB Suche - Ergebnisse für: Ding, Xuhua

1

DScope: To Reliably and Securely Acquire Live Data from Ker..:

, In: Computer Security – ESORICS 2023; Lecture Notes in Computer Science,

Chen, Zhe ; Qiu, Haiqing ; Ding, Xuhua - p. 271-289 , 2024

2

Hardware-Assisted Live Kernel Function Updating on Intel Pl..:

Zhou, Lei ; Zhang, Fengwei ; Leach, Kevin...
IEEE Transactions on Dependable and Secure Computing. 21 (2024) 4 - p. 2085-2098 , 2024

Link: https://doi.org/10.1109/..

3

ESem: To Harden Process Synchronization for Servers:

, In: Proceedings of the 19th ACM Asia Conference on Computer and Communications Security,

Wang, Zhanbo ; Zhan, Jiaxin ; Ding, Xuhua.. - p. 1554-1567 , 2024

Link: https://dl.acm.org/doi/1..

4

Concretely Mapped Symbolic Memory Locations for Memory Erro..:

Tu, Haoxin ; Jiang, Lingxiao ; Hong, Jiaqi..
IEEE Transactions on Software Engineering. 50 (2024) 7 - p. 1747-1767 , 2024

Link: https://doi.org/10.1109/..

5

T-Counter: Trustworthy and Efficient CPU Resource Measureme..:

Dong, Chuntao ; Shen, Qingni ; Ding, Xuhua...
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 1 - p. 867-885 , 2023

Link: https://doi.org/10.1109/..

6

KRover: A Symbolic Execution Engine for Dynamic Kernel Anal..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,

Pitigalaarachchi, Pansilu ; Ding, Xuhua ; Qiu, Haiqing... - p. 2009-2023 , 2023

Link: https://dl.acm.org/doi/1..

7

How to Resuscitate a Sick VM in the Cloud:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S),

Ding, Xuhua - p. 89-93 , 2023

Link: https://doi.org/10.1109/..

8

Smile: Secure Memory Introspection for Live Enclave:

, In: 2022 IEEE Symposium on Security and Privacy (SP),

Zhou, Lei ; Ding, Xuhua ; Zhang, Fengwei - p. 386-401 , 2022

Link: https://doi.org/10.1109/..

9

FastKLEE: faster symbolic execution via reducing redundant ..:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Tu, Haoxin ; Jiang, Lingxiao ; Ding, Xuhua. - p. 1741-1745 , 2022

Link: https://dl.acm.org/doi/1..

10

Proceedings of the 2022 ACM on Asia Conference on Computer ..:

Suga, Yuji ; Sakurai, Kouichi ; Ding, Xuhua. , 2022

Link: https://dl.acm.org/doi/1..

11

A Coprocessor-based Introspection Framework via Intel Manag..:

Zhou, Lei ; Zhang, Fengwei ; Xiao, Jidong...
IEEE Transactions on Dependable and Secure Computing. , 2021

Link: https://doi.org/10.1109/..

12

On the Root of Trust Identification Problem:

, In: Proceedings of the 20th International Conference on Information Processing in Sensor Networks (co-located with CPS-IoT Week 2021),

De Oliveira Nunes, Ivan ; Ding, Xuhua ; Tsudik, Gene - p. 315-327 , 2021

Link: https://dl.acm.org/doi/1..

13

A Novel Dynamic Analysis Infrastructure to Instrument Untru..:

, In: 2021 IEEE Symposium on Security and Privacy (SP),

Hong, Jiaqi ; Ding, Xuhua - p. 1902-1918 , 2021

Link: https://doi.org/10.1109/..

14

Balancing Security and Privacy in Genomic Range Queries:

, In: Proceedings of the 18th ACM Workshop on Privacy in the Electronic Society,

Ding, Xuhua ; Ozturk, Ercan ; Tsudik, Gene - p. 106-110 , 2019

Link: https://dl.acm.org/doi/1..

15

Initializing trust in smart devices via presence attestatio:

Ding, Xuhua ; Tsudik, Gene
Computer Communications. 131 (2018) - p. 35-38 , 2018

Link: https://doi.org/10.1016/..