A Type System for Robust Declassification (2003)

View PDF

Download Links

by Steve Zdancewic
Citations:30 - 5 self