Search for persons
X
?
Computer Security – ESORICS 2023; Lecture Notes in Computer Science ,
3
DScope: To Reliably and Securely Acquire Live Data from Ker..:
, In:
?
Proceedings of the 19th ACM Asia Conference on Computer and Communications Security ,
4
ESem: To Harden Process Synchronization for Servers:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
5
KRover: A Symbolic Execution Engine for Dynamic Kernel Anal..:
, In:
?
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) ,
6
How to Resuscitate a Sick VM in the Cloud:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
8
FastKLEE: faster symbolic execution via reducing redundant ..:
, In:
?
2022 IEEE Symposium on Security and Privacy (SP) ,
9
Smile: Secure Memory Introspection for Live Enclave:
, In:
?
2021 IEEE Symposium on Security and Privacy (SP) ,
11
A Novel Dynamic Analysis Infrastructure to Instrument Untru..:
, In:
?
Proceedings of the 20th International Conference on Information Processing in Sensor Networks (co-located with CPS-IoT Week 2021) ,
13
On the Root of Trust Identification Problem:
, In:
?
Proceedings of the 18th ACM Workshop on Privacy in the Electronic Society ,
14