Zobrazeno 1 - 10
of 252
pro vyhledávání: '"Boon Thau Loo"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 11, Issue 4 (2015)
The Internet, as it stands today, is highly vulnerable to attacks. However, little has been done to understand and verify the formal security guarantees of proposed secure inter-domain routing protocols, such as Secure BGP (S-BGP). In this paper, we
Externí odkaz:
https://doaj.org/article/6c76e8d7f07d49149c70bd41abf4c4e2
Publikováno v:
Proceedings of the VLDB Endowment. 16:23-36
While permissioned blockchains enable a family of data center applications, existing systems suffer from imbalanced loads across compute and memory, exacerbating the underutilization of cloud resources. This paper presents FlexChain , a novel permiss
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f7a0b6261547e871e3bd571bce27d03
https://doi.org/10.14778/3561261.3561264
https://doi.org/10.14778/3561261.3561264
Autor:
Sun-Young Park, Boon Thau Loo
Publikováno v:
International Journal of Strategic Communication. 16:313-331
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::78aa81604955e4c093cfc191d06267c2
https://doi.org/10.1080/1553118x.2022.2032079
https://doi.org/10.1080/1553118x.2022.2032079
Publikováno v:
IEEE/ACM Transactions on Networking. :1-16
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e696da85812dd415c5c6e1cb482f55f2
https://doi.org/10.1109/tnet.2022.3208551
https://doi.org/10.1109/tnet.2022.3208551
Autor:
Nik Sultana, Henry Zhu, Ke Zhong, Zhilei Zheng, Ruijie Mao, Digvijaysinh Chauhan, Stephen Carrasquillo, Junyong Zhao, Lei Shi, Nikos Vasilakis, Boon Thau Loo
Publikováno v:
Proceedings of the 38th Annual Computer Security Applications Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61ed3672a63f357b410e3d204979f735
https://doi.org/10.1145/3564625.3564664
https://doi.org/10.1145/3564625.3564664
Autor:
Qizhen Zhang, Xinyi Chen, Sidharth Sankhe, Zhilei Zheng, Ke Zhong, Sebastian Angel, Ang Chen, Vincent Liu, Boon Thau Loo
Publikováno v:
Proceedings of the 2022 International Conference on Management of Data.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::718aa79db1330b61db60b4c6e3997a87
https://doi.org/10.1145/3514221.3517856
https://doi.org/10.1145/3514221.3517856
Publikováno v:
Proceedings of the VLDB Endowment. 13:1568-1581
Resource disaggregation is a new architecture for data centers in which resources like memory and storage are decoupled from the CPU, managed independently, and connected through a high-speed network. Recent work has shown that although disaggregated
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74d49cbb04f6d381b9400bfe0805a018
https://doi.org/10.14778/3397230.3397249
https://doi.org/10.14778/3397230.3397249
This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contract operations and contract-level properties can be naturally expressed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6a9301c24e385bef0dbfb26367a748c
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263
Debugging imperative network programs is a difficult task for operators as it requires understanding various network modules and complicated data structures. For this purpose, this paper presents an automated technique for repairing network programs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf75adb56001a0c11667ac152ea79f3d
https://doi.org/10.1007/978-3-030-99527-0_19
https://doi.org/10.1007/978-3-030-99527-0_19
Autor:
Boon Thau Loo, Saket, Andrew Zhao, Rajesh Krishnan, Nik Sultana, Michael L. Kaplan, Shubhendra Pal Singhal
Publikováno v:
Proceedings of the 2021 Workshop on Descriptive Approaches to IoT Security, Network, and Application Configuration.
Inter-Process Communication (IPC) mechanisms are simple, OS-provided communication endpoints that do not typically accommodate program-level needs on latency, resource utilization, and mobility. But modern network-connected devices, particularly in I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4cc3f90c133cff976fbb1a796ad4851
https://doi.org/10.1145/3488661.3494032
https://doi.org/10.1145/3488661.3494032