気になった論文

webで色々見ていて気になった論文をリストアップしてみる。

• Martin Abadi, Bluno Branchet, "Secrecy Types for Assymetric Communication"
• Dennis Volpano, Geoffrey Smith, et al., "A Sound Type System For Secure Flow Analysis"
• Steve Zdancewic, Andrew C. Myers, "Robust Declassification"
• Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter, "Categorical and Kripke Semantics for Constructive S4 Modal Logic"
• Alex Simpson,"The Proof Theory and Semantics of Intuitionistic Modal Logic"
• Rowan Davies, Frank Pfenning, "A Modal Analysis of Staged Computation"
• Andrew D. Gordon, Alan Jeffrey, "Authenticity by Typing for Security Protocols"
• Peeter Laud, "Relative Secrecy and Semantics of Declassification"

それと研究関連でCtyptycも気になる。
全部気になる論文なのだけどこれだけあると読むのたいへんだぁ。