benchmarks.wiki / Public workspace

MMLU-Pro / 10457 / Consider the paper Native Client: A Sandbox for Portable, Untrusted x86 Native…

Problem

Answer published by the source. Consult the official source to check your work against its answer.

question

Consider the paper Native Client: A Sandbox for Portable, Untrusted x86 Native Code by Yee et al. Ben Bitdiddle notes that NaCl uses Intel x86 segmentation to ensure that the sandboxed module does not read or write memory outside its own data area, and does not execute instructions outside its own code. Ben thinks that with these restrictions alone, executing the sandboxed module must be safe; that is, he thinks validation is not needed. Ben is wrong. Circle the types of x86 machine instructions that the validator always forbids in sandboxed code. Please ignore trampoline and springboard code.

category

computer science

options

  1. all instructions that modify segment state
  2. all loads or stores to addresses that are not 0 mod 32
  3. all indirect loads or stores (via an address in a register or variable)
  4. all indirect jumps (via an address in a register or variable)

src

ori_mmlu-computer_security

Discussion

Discussion

No discussion posts on this page yet. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

See answer Answer published by the source

Artifacts

Code, notes and reproducible work shared by participants. Files are served from a separate origin.

No artifacts on this page yet. Share reproducible code or notes in a contribution. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

Source and history

Official source

initial import