✦ LIBER ✦

[IEEE 2011 IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2011.05.22-2011.05.25)] 2011 IEEE Symposium on Security and Privacy - Verification of Information Flow and Access Control Policies with Dependent Types

✍ Scribed by Nanevski, Aleksandar; Banerjee, Anindya; Garg, Deepak

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 IEEE Symposium on Security an

✍ Shokri, Reza; Theodorakopoulos, George; Le Boudec, Jean-Yves; Hubaux, Jean-Pierr 📂 Article 📅 2011 🏛 IEEE ⚖ 719 KB

[IEEE 2011 IEEE Symposium on Security an

✍ Waksman, Adam; Sethumadhavan, Simha 📂 Article 📅 2011 🏛 IEEE ⚖ 802 KB

[IEEE 2011 IEEE Symposium on Security an

✍ Vaughan, Jeffrey A.; Chong, Stephen 📂 Article 📅 2011 🏛 IEEE ⚖ 434 KB

[IEEE 2011 IEEE Symposium on Security an

✍ Zhang, Xin; Hsiao, Hsu-Chun; Hasker, Geoffrey; Chan, Haowen; Perrig, Adrian; And 📂 Article 📅 2011 🏛 IEEE ⚖ 398 KB

[IEEE 2011 IEEE Symposium on Security an

✍ Armknecht, Frederik; Maes, Roel; Sadeghi, Ahmad-Reza; Standaert, François-Xavier 📂 Article 📅 2011 🏛 IEEE ⚖ 686 KB

[IEEE 2011 IEEE Symposium on Security an

✍ Owen, Chris; Grove, Duncan; Newby, Tristan; Murray, Alex; North, Chris; Pope, Mi 📂 Article 📅 2011 🏛 IEEE ⚖ 1014 KB