The technical paper on Strahl's verification and information flow control architecture is in preparation. Check back shortly.