Model Counting and Quantitative Information Flow
Daniel J. Fremont

Citation
Daniel J. Fremont. "Model Counting and Quantitative Information Flow". Talk or presentation, 29, August, 2014; Presented at the TerraSwarm Tools Teleconference.

Abstract
(No abstract.)

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Daniel J. Fremont. <a
  href="http://www.terraswarm.org/pubs/352.html"
  ><i>Model Counting and Quantitative Information
  Flow</i></a>, Talk or presentation,  29, August,
  2014; Presented at the TerraSwarm Tools Teleconference.

• Plain text

  Daniel J. Fremont. "Model Counting and Quantitative
  Information Flow". Talk or presentation,  29, August,
  2014; Presented at the TerraSwarm Tools Teleconference.

• BibTeX

  @presentation{Fremont14_ModelCountingQuantitativeInformationFlow,
      author = {Daniel J. Fremont},
      title = {Model Counting and Quantitative Information Flow},
      day = {29},
      month = {August},
      year = {2014},
      note = {Presented at the TerraSwarm Tools Teleconference.},
      abstract = {(No abstract.)},
      URL = {http://terraswarm.org/pubs/352.html}
  }
  

Posted by Daniel J. Fremont on 29 Aug 2014.
Groups: tools