Send email Copy Email Address
2011-10-17

Verification of Information Flow and Access Control Policies with Dependent Types

Conference / Medium

Proceedings of the 32nd IEEE Symposium on Security and Privacy (S&P '11)

Date published

2011-10-17

Date last modified

2019-07-18 12:09:28