Accountable virtual machines

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010

Volumn , Issue , 2019, Pages 119-134

  Haeberlen, Andreas ^a   Aditya, Paarijaat ^b   Rodrigues, Rodrigo ^b   Druschel, Peter ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY IMAGES; NETWORK SECURITY; SYSTEMS ANALYSIS;

DISTRIBUTED SYSTEMS; MULTIPLAYER GAMES; THIRD PARTIES; TRUSTED HARDWARES; VMWARE WORKSTATIONS;

VIRTUAL MACHINE;

EID: 85076918451     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (44)

1. AMX Mod X project. http://www.amxmodx.org/.
2. D. Andersen, H. Balakrishnan, N. Feamster, T. Koponen, D. Moon, and S. Shenker. Accountable Internet protocol (AIP). In Proceedings of the ACM SIGCOMM Conference (SIGCOMM), Aug. 2008.
3. K. Aoki, J. Franke, A. K. Lenstra, E. Thomé, J. W. Bos, P. Gaudry, A. Kruppa, P. L. Montgomery, D. A. Osvik, H. te Riele, A. Timofeev, and P. Zimmerman. Factorization of a 768-bit RSA modulus. http://eprint.iacr.org/2010/006.pdf.
4. K. Argyraki, P. Maniatis, O. Irzak, and S. Shenker. An accountability interface for the Internet. In Proceedings of the IEEE International Conference on Network Protocols (ICNP), Oct. 2007.
5. A. Aviram, S.-C. Weng, S. Hu, and B. Ford. Efficient system-enforced deterministic parallelism. In Proceedings of the USENIX Symposium on Operating System Design and Implementation (OSDI), Oct. 2010.
6. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), Oct. 2003.
7. N. E. Baughman, M. Liberatore, and B. N. Levine. Cheat-proof playout for centralized and peer-to-peer gaming. IEEE/ACM Transactions on Networking (ToN), 15(1):1-13, Feb. 2007.
8. T. C. Bressoud and F. B. Schneider. Hypervisor-based fault tolerance. ACM Transactions on Computer Systems (TOCS), 14(1):80-107, 1996.
9. C. Chambers, W. Feng, W. Feng, and D. Saha. Mitigating information exposure to cheaters in real-time strategy games. In Proceedings of the ACM International Workshop on Network and operating systems support for digital audio and video (NOSSDAV), June 2005.
10. J. Chow, T. Garfinkel, and P. M. Chen. Decoupling dynamic program analysis from execution in virtual environments. In Proceedings of the USENIX Annual Technical Conference, June 2008.
11. B. Cully, G. Lefebvre, D. Meyer, M. Feeley, N. Hutchinson, and A. Warfield. Remus: High availability via asynchronous virtual machine replication. In Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI), Apr. 2008.
12. J. Dabrowski and E. V. Munson. Is 100 milliseconds too fast? In Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems (CHI), Apr. 2001.
13. J. Devietti, B. Lucia, L. Ceze, and M. Oskin. DMP: Deterministic shared memory multiprocessing. In Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Mar. 2009.
14. R. Dingledine, M. J. Freedman, and D. Molnar. Peer-to-Peer: Harnessing the Power of Disruptive Technologies, chapter Accountability. O'Reilly and Associates, 2001.
15. G. W. Dunlap, S. T. King, S. Cinar, M. Basrai, and P. M. Chen. ReVirt: Enabling intrusion analysis through virtual-machine logging and replay. In Proceedings of the USENIX Symposium on Operating System Design and Implementation (OSDI), Dec. 2002.
16. G. W. Dunlap, D. Lucchetti, P. M. Chen, and M. Fetterman. Execution replay for multiprocessor virtual machines. In Proceedings of the ACM/USENIX International Conference on Virtual Execution Environments (VEE), Mar. 2008.
17. T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum, and D. Boneh. Terra: A virtual machine-based platform for trusted computing. In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), Oct. 2003.
18. A. Haeberlen. A case for the accountable cloud. In Proceedings of the ACM SIGOPS International Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Oct. 2009.
19. A. Haeberlen, P. Aditya, R. Rodrigues, and P. Druschel. Accountable virtual machines. Technical Report 2010-3, Max Planck Institute for Software Systems, Sept. 2010.
20. A. Haeberlen, I. Avramopoulos, J. Rexford, and P. Druschel. NetReview: Detecting when interdomain routing goes wrong. In Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI), Apr. 2009.
21. A. Haeberlen, P. Kuznetsov, and P. Druschel. PeerReview: Practical accountability for distributed systems. In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), Oct. 2007.
22. A. Haeberlen, P. Kuznetsov, and P. Druschel. PeerReview: Practical accountability for distributed systems. Technical Report 2007-3, Max Planck Institute for Software Systems, Oct. 2007.
23. G. Hoglund. 4.5 million copies of EULA-compliant spyware. http://www.rootkit.com/blog.php?newsid=358.
24. G. Hoglund and G. McGraw. Exploiting Online Games: Cheating Massively Distributed Systems. Addison-Wesley, 2007.
25. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In Proceedings of the USENIX Annual Technical Conference, Apr. 2005.
26. B. W. Lampson. Computer security in the real world. In Proceedings of the Annual Computer Security Applications Conference (ACSAC), Dec. 2000.
27. P. Laskowski and J. Chuang. Network monitors and contracting systems: competition and innovation. In Proceedings of the ACM SIGCOMM Conference (SIGCOMM), Sept. 2006.
28. D. Lee, M. Said, S. Narayanasamy, Z. Yang, and C. Pereira. Offline symbolic analysis for multi-processor execution replay. In Proceedings of the IEEE/ACM International Symposium on Microarchitecture (MICRO), Dec. 2009.
29. D. Lee, B. Wester, K. Veeraraghavan, S. Narayanasamy, P. M. Chen, and J. Flinn. Respec: Efficient online multiprocessor replay via speculation and external determinism. In Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Mar. 2010.
30. D. Levin, J. R. Douceur, J. R. Lorch, and T. Moscibroda. TrInc: Small trusted hardware for large distributed systems. In Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI), Apr. 2009.
31. N. Michalakis, R. Soulé, and R. Grimm. Ensuring content integrity for untrusted peer-to-peer content distribution networks. In Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI), Apr. 2007.
32. C. Mönch, G. Grimen, and R. Midtstraum. Protecting online games against cheating. In Proceedings of the Workshop on Network and Systems Support for Games (NetGames), Oct. 2006.
33. J. Newsome and D. Song. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In Proceedings of the Annual Network and Distributed Systems Security Symposium (NDSS), Feb. 2005.
34. T. Okamoto. A fast signature scheme based on congruential polynomial operations. IEEE Transactions on Information Theory, 36(1):47-53, 1990.
35. PunkBuster web site. http://www.evenbalance.com/.
36. A. Seshadri, M. Luk, E. Shi, A. Perrig, L. van Doorn, and P. Khosla. Pioneer: Verifying code integrity and enforcing untampered code execution on legacy systems. In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), Oct. 2005.
37. A. Smith. ASUS releases games cheat drivers. http://www.theregister.co.uk/2001/05/10/ asus releases games cheat drivers/, May 2001.
38. Valve Corporation. Valve anti-cheat system (VAC). https://support.steampowered.com/kb article.php? ref=7849-RADZ-6869.
39. M. Xu, V. Malyugin, J. Sheldon, G. Venkitachalam, and B. Weissman. ReTrace: Collecting execution trace with virtual machine deterministic replay. In Proceedings of the Annual Workshop on Modeling, Benchmarking, and Simulation (MoBS), June 2007.
40. C. Yan, D. Englender, M. Prvulovic, B. Rogers, and Y. Solihin. Improving cost, performance, and security of memory encryption and authentication. ACM SIGARCH Computer Architecture News, 34(2):179-190, 2006.
41. J. Yan and B. Randell. A systematic classification of cheating in online games. In Proceedings of the Workshop on Network and Systems Support for Games (NetGames), Oct. 2005.
42. S. Yang, A. R. Butt, Y. C. Hu, and S. P. Midkiff. Trust but verify: Monitoring remotely executing programs for progress and correctness. In Proceedings of the ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP), June 2005.
43. A. R. Yumerefendi and J. S. Chase. Trust but verify: Accountability for Internet services. In Proceedings of the ACM SIGOPS European Workshop, Sep 2004.
44. A. R. Yumerefendi and J. S. Chase. Strong accountability for network storage. ACM Transactions on Storage (TOS), 3(3):11, Oct. 2007.