E-LIB Suche - Ergebnisse für: Nieh, Jason

1

Rogueone: Detecting Rogue Updates via Differential Data-Flo..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Sofaer, Raphael J. ; David, Yaniv ; Kang, Mingqing... - p. 1235-1247 , 2024

Link: https://doi.org/10.1145/..

2

RogueOne: Detecting Rogue Updates via Differential Data-flo..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Sofaer, Raphael J. ; David, Yaniv ; Kang, Mingqing... - p. 1-13 , 2024

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

3

Mostly Automated Verification of Liveness Properties for Di..:

Yao, Jianan ; Tao, Runzhou ; Gu, Ronghui.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1028-1059 , 2024

Link: https://doi.org/10.1145/..

4

Effective Performance Issue Diagnosis with Value-Assisted C..:

, In: Proceedings of the Eighteenth European Conference on Computer Systems,

Weng, Lingmei ; Hu, Yigong ; Huang, Peng.. - p. 1-17 , 2023

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

5

A Secure and Formally Verified Linux KVM Hypervisor:

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

Li, Shih-Wei ; Li, Xupeng ; Gu, Ronghui.. - p. 1782-1799 , 2021

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

6

Tap : an app framework for dynamically composable mobile..:

, In: Proceedings of the 19th Annual International Conference on Mobile Systems, Applications, and Services,

AlDuaij, Naser ; Nieh, Jason - p. 336-349 , 2021

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

7

Encrypted cloud photo storage using Google photos:

, In: Proceedings of the 19th Annual International Conference on Mobile Systems, Applications, and Services,

Koh, John S. ; Nieh, Jason ; Bellovin, Steven M. - p. 136-149 , 2021

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

8

Formal Verification of a Multiprocessor Hypervisor on Arm R..:

, In: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles,

Tao, Runzhou ; Yao, Jianan ; Li, Xupeng... - p. 866-881 , 2021

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

9

Optimizing Nested Virtualization Performance Using Direct V..:

, In: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems,

Lim, Jin Tack ; Nieh, Jason - p. 557-574 , 2020

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

10

Proceedings of the 18th International Conference on Mobile ..:

de Lara, Eyal ; Mohomed, Iqbal ; Nieh, Jason. , 2020

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

11

Heterogeneous Multi-Mobile Computing (video):

, In: Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services,

AlDuaij, Naser ; Van't Hof, Alexander ; Nieh, Jason - p. 707 ff. , 2019

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

12

Why Joanie Can Encrypt : Easy Email Encryption with Easy..:

, In: Proceedings of the Fourteenth EuroSys Conference 2019,

Koh, John S. ; Bellovin, Steven M. ; Nieh, Jason - p. 1-16 , 2019

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

13

AnDrone : Virtual Drone Computing in the Cloud:

, In: Proceedings of the Fourteenth EuroSys Conference 2019,

Van't Hof, Alexander ; Nieh, Jason - p. 1-16 , 2019

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

14

Microservices and Containers:

Douglis, Fred ; Nieh, Jason
IEEE Internet Computing. 23 (2019) 6 - p. 5-6 , 2019

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

15

Heterogeneous Multi-Mobile Computing:

, In: Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services,

AlDuaij, Naser ; Van't Hof, Alexander ; Nieh, Jason - p. 494-507 , 2019

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