Christian Hammer

发表

Gregor Snelting, Christian Hammer, Christian Hammer, 2009, International Journal of Information Security.

Michael Backes, Sven Bugiel, Oliver Schranz, 2015, USENIX Security Symposium.

Francesco Zappa Nardelli, S. Jagannathan, J. Vitek, 2013 .

Deepak Garg, Vineet Rajani, Christian Hammer, 2017, ESORICS.

Mira Mezini, Eric Bodden, Daniel Kraschewski, 2013 .

Michael Backes, Malte Skoruppa, David Pfaff, 2016, SAC.

Jens Krinke, Christian Hammer, Maximilian Störzer, 2004 .

Michael Backes, Sebastian Gerling, Matteo Maffei, 2013, DPM/SETOP.

Abhishek Tiwari, Christian Hammer, Sascha Groß, 2018, SecureComm.

Abhishek Tiwari, Christian Hammer, Sascha Groß, 2020, J. Syst. Softw..

Abhishek Tiwari, Christian Hammer, Sascha Groß, 2019, 2019 19th International Working Conference on Source Code Analysis and Manipulation (SCAM).

Abhishek Tiwari, Christian Hammer, Sascha Groß, 2018, ESORICS.

Dennis Giffhorn, Christian Hammer, Christian Hammer, 2009, Automated Software Engineering.

Gregor Snelting, Christian Hammer, Rüdiger Schaade, 2008, PLAS '08.

Dennis Giffhorn, Christian Hammer, Christian Hammer, 2007, Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007).

Jens Krinke, Christian Hammer, Frank Nodes, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Jens Krinke, Christian Hammer, Martin Grimme, 2006, PEPM '06.

Gregor Snelting, Jens Krinke, Christian Hammer, 2006, ISSSE.

Erik Derr, Sven Bugiel, Michael Backes, 2016, AsiaCCS.

Gregor Snelting, Christian Hammer, Christian Hammer, 2004, PASTE.

Frank Tip, Julian Dolby, Mandana Vaziri, 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

Christian Hammer, Christian Hammer, 2013, 2013 35th International Conference on Software Engineering (ICSE).

Jan Vitek, Frank Tip, Daniel Marino, 2012, TOPL.

Gregor Snelting, Daniel Wasserrab, Jürgen Graf, 2014, it Inf. Technol..

Markus N. Rabe, H. Seidl, B. Finkbeiner, 2015 .

Klaus Hansen, Christian Hammer, Lars R. Randleff, 2001, MM&Sec '01.

Michael Backes, Sebastian Gerling, Matteo Maffei, 2013, TACAS.

Michael Backes, Sebastian Gerling, Matteo Maffei, 2012 .

Deepak Garg, Vineet Rajani, Christian Hammer, 2021, J. Comput. Secur..

Sven Bugiel, Christian Hammer, Dhiman Chakraborty, 2019, SAC.

Deepak Garg, Vineet Rajani, Christian Hammer, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.

Deepak Garg, Vineet Rajani, Christian Hammer, 2014, POST.

Alan Cleary, Brandon Shirley, Seth C Just, 2011, PLASTIC '11.

A. Tiwari, Christian Hammer, Jyoti Prakash, 2020, J. Syst. Softw..

Christian Hammer, C. Sauer, A. Omotosho, 2023, 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).

Christian Hammer, A. Omotosho, Yaman Qendah, 2023, 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC).