We stand with Ukraine  

Martin Hecker

Affiliations:
  • Karlsruhe Institute of Technology, Germany


According to our database1, Martin Hecker authored at least 10 papers between 2013 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
On Time-sensitive Control Dependencies.
[BibTeX]
[DOI]
Martin Hecker
,
Simon Bischof
,
Gregor Snelting
ACM Trans. Program. Lang. Syst., 2022

2020
Timing Sensitive Dependency Analysis and its Application to Software Security.
[BibTeX]
[DOI]
Martin Hecker
PhD thesis, 2020

Hybrid taint analysis for Java EE.
[BibTeX]
[DOI]
Florian D. Loch
,
Martin Johns
,
Martin Hecker
,
Martin Mohr
,
Gregor Snelting
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2018
Low-deterministic security for low-nondeterministic programs.
[BibTeX]
[DOI]
Simon Bischof
,
Joachim Breitner
,
Jürgen Graf
,
Martin Hecker
,
Martin Mohr
,
Gregor Snelting
J. Comput. Secur., 2018

2016
Sicherheitsanalyse mit JOANA.
[BibTeX]
[DOI]
Juergen Graf
,
Martin Hecker
,
Martin Mohr
,
Gregor Snelting
Proceedings of the Sicherheit 2016: Sicherheit, 2016

Tool Demonstration: JOANA.
[BibTeX]
[DOI]
Jürgen Graf
,
Martin Hecker
,
Martin Mohr
,
Gregor Snelting
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

On Improvements of Low-Deterministic Security.
[BibTeX]
[DOI]
Joachim Breitner
,
Jürgen Graf
,
Martin Hecker
,
Martin Mohr
,
Gregor Snelting
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015
JoDroid: Adding Android Support to a Static Information Flow Control Tool.
[BibTeX]
[DOI]
Martin Mohr
,
Jürgen Graf
,
Martin Hecker
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

2014
Checking probabilistic noninterference using JOANA.
[BibTeX]
[DOI]
Gregor Snelting
,
Dennis Giffhorn
,
Jürgen Graf
,
Christian Hammer
,
Martin Hecker
,
Martin Mohr
,
Daniel Wasserrab
it Inf. Technol., 2014

2013
Using JOANA for Information Flow Control in Java Programs - A Practical Guide.
[BibTeX]
[DOI]
Jürgen Graf
,
Martin Hecker
,
Martin Mohr
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013


  Loading...