Search Results for 'drtm'

drtm published presentations and documents on DocSlides.

A Logic of Secure Systems with Tunable Adversary Models

by faustina-dinatale

Jason Franklin. With . Anupam. . Datta. , Deepak...