Henning Sudbrock
According to our database1,
Henning Sudbrock
authored at least 9 papers
between 2006 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
0
1
2
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Arch. Formal Proofs, 2018
2015
Int. J. Secur. Softw. Eng., 2015
2013
2012
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012
2011
Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011
2010
2008
Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008
2007
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework.
Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007
2006
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006