Community Service

Program committee member

• USENIX Annual Technical Conference (ATC), 2019
• ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2019
• ACM Symposium on Cloud Computing (SoCC), 2018
• ACM Workshop on Systems for Multi-core and Heterogeneous Architectures (SFMA), 2018
• ACM International Systems and Storage Conference (SYSTOR), 2018
• USENIX Annual Technical Conference (ATC), 2017
• ACM Virtual Execution Environments (VEE), 2017
• World Wide Web Conference (WWW), 2017
• ACM International Systems and Storage Conference (SYSTOR), 2017

External reviewer

• ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2018
• IEEE Computer Architecture Letters (CAL), 2018
• IEEE Computer Architecture Letters (CAL), 2016
• EuroSys Conference, 2015
• ACM Virtual Execution Environments (VEE), 2014
• IEEE Transactions on Computers (TOC), 2014
• IEEE Computer Architecture Letters (CAL), 2013
• ACM International Conference on Supercomputing (ICS), 2012
• USENIX Annual Technical Conference (ATC), 2011

Academic advising

• Gil Kupfer (Technion), “IOMMU-resistant DMA attacks,” 2016-2018, co-advising with Prof. Dan Tsafrir

Reported Security Vulnerabilities

• CVE-2014-3610: KVM hypervisor WRMSR emulation vulnerability
• CVE-2014-3647: KVM hypervisor RIP changing emulation vulnerability
• CVE-2014-7842: KVM hypervisor emulation failure vulnerability
• CVE-2014-8480: KVM hypervisor NULL dereference vulnerability
• CVE-2014-8481: KVM hypervisor NULL dereference vulnerability
• CVE-2015-0239: KVM hypervisor SYSENTER emulation vulnerability

Open Source Contributions

• Linux
  • KVM
  • Memory management
  • IOMMU
• QEMU emulator
• LLVM BPF compiler backend [1]
• FreeBSD IOMMU [1]