Affiliation:
1. Electrical Engineering, KAIST
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference14 articles.
1. [1] “Linux containers-LXC,” https://linuxcontainers.org/lxc/introduction/, accessed May 15 2022.
2. [2] “Cloud functions,” https://cloud.google.com/functions, accessed May 15 2022.
3. [3] N.P. Lopes, N. Bjørner, P. Godefroid, K. Jayaraman, and G. Varghese, “Checking beliefs in dynamic networks,” 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), pp.499-512, 2015.
4. [4] G.D. Plotkin, N. Bjørner, N.P. Lopes, A. Rybalchenko, and G. Varghese, “Scaling network verification using symmetry and surgery,” ACM SIGPLAN Notices, vol.51, no.1, pp.69-83, 2016. 10.1145/2914770.2837657
5. [5] S. Bleikertz, C. Vogel, and T. Groß, “Cloud radar: near real-time detection of security failures in dynamic virtualized infrastructures,” Proc. 30th annual computer security applications conference, pp.26-35, 2014. 10.1145/2664243.2664274
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献