PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hecker, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Checking probabilistic noninterference using JOANA.

, , , , , , and . it - Information Technology, 56 (6): 280-287 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Janosch Hecker University of Stuttgart

Martin Baumann

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

Univ. -Prof. Martin Ostermann University of Stuttgart

 

Other publications of authors with the same name

Checking probabilistic noninterference using JOANA., , , , , , and . it - Information Technology, 56 (6): 280-287 (2014)Low-deterministic security for low-nondeterministic programs., , , , , and . Journal of Computer Security, 26 (3): 335-366 (2018)Sicherheitsanalyse mit JOANA., , , and . Sicherheit, volume P-256 of LNI, page 11-22. GI, (2016)On Improvements of Low-Deterministic Security., , , , and . POST, volume 9635 of Lecture Notes in Computer Science, page 68-88. Springer, (2016)Using JOANA for Information Flow Control in Java Programs - A Practical Guide., , and . Software Engineering (Workshops), volume P-215 of LNI, page 123-138. GI, (2013)On Time-sensitive Control Dependencies., , and . ACM Trans. Program. Lang. Syst., 44 (1): 2:1-2:37 (2022)Informationsüberflutung und deren Vermeidung: computerunterstützte Informationsflutdämmung unter Berücksichtigung biologischer Ansätze.. Lüneburg University, Germany, (1998)Tool Demonstration: JOANA., , , and . POST, volume 9635 of Lecture Notes in Computer Science, page 89-93. Springer, (2016)JoDroid: Adding Android Support to a Static Information Flow Control Tool., , and . Software Engineering (Workshops), volume 1337 of CEUR Workshop Proceedings, page 140-145. CEUR-WS.org, (2015)ISSNEW: Ein Informations- und Simulationssystem für die Einzugsgebietmodellierung im Kontext der Europäischen Wasserrahmenrichtlinien: Konzeption der Software., , and . GIL Jahrestagung, volume P-49 of LNI, page 141-144. GI, (2004)