Hirotoshi Yasuoka

Publications

• Quantitative Information Flow as Safety and Liveness Hyperproperties
  Hirotoshi Yasuoka, Tachio Terauchi
  The 10th Workshop on Quantitative Aspects of Programming Languages (QAPL), 2012. To appear. [pdf]


• On Bounding Problems of Quantitative Information Flow (Extended Version)
  Hirotoshi Yasuoka, Tachio Terauchi
  Journal of Computer Security (JoCS), 19(6), 2011. [pdf]


• On Bounding Problems of Quantitative Information Flow
  Hirotoshi Yasuoka, Tachio Terauchi
  The 15th European Symposium on Research in Computer Security (ESORICS), 2010. [pdf]


• Quantitative Information Flow - Verification Hardness and Possibilities
  Hirotoshi Yasuoka, Tachio Terauchi
  The 23rd IEEE Computer Security Foundations Symposium (CSF), 2010. [pdf]


• Polymorphic Fractional Capabilities
  Hirotoshi Yasuoka, Tachio Terauchi
  The 16th International Static Analysis Symposium (SAS), 2009. [pdf]