@techreport{marion:hal-00684026, TITLE = {{Complexity Information Flow in a Multi-threaded Imperative Language}}, AUTHOR = {Marion, Jean-Yves and P{\'e}choux, Romain}, URL = {https://inria.hal.science/hal-00684026}, TYPE = {Research Report}, PAGES = {16}, YEAR = {2012}, MONTH = Mar, KEYWORDS = {Ptime characterization ; ICC ; tiering ; non-interference ; imperative language}, PDF = {https://inria.hal.science/hal-00684026/file/hulotte.pdf}, HAL_ID = {hal-00684026}, HAL_VERSION = {v1}, }