A JIT for packet filters
A JIT for packet filters
Posted Apr 26, 2011 2:16 UTC (Tue) by welinder (guest, #4699)In reply to: A JIT for packet filters by jzbiciak
Parent article: A JIT for packet filters
People at CMU played with that years and years ago. The programs
from user space would only be accepted if they came with a proof
of correctness (which is easy to verify). The buzz words were
"proof-carrying code", I think.
from user space would only be accepted if they came with a proof
of correctness (which is easy to verify). The buzz words were
"proof-carrying code", I think.
(Log in to post comments)