uni-potsdam.de

You are using an old browser with security vulnerabilities and can not use the features of this website.

Here you will see how you can easily upgrade your browser.

Publications

Journal Articles

2014

  • Snelting, G.; Giffhorn, D.; Graf, J.; Hammer, C.; Hecker, M.; Mohr, M. and Wasserrab, D. Checking Probabilistic Noninterference Using JOANA.  In it - Information Technology, 56 (6): 280-287, 2014. doi 

 

2012

  • Dolby, J.; Hammer, C.; Marino, D.; Tip, F.; Vaziri, M. and Vitek, J. A data-centric approach to synchronization.  In ACM Trans. Program. Lang. Syst., 34 (1): 4:1-4:48, 2012.

 

2009

  • Hammer, C. and Snelting, G. Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs.  In International Journal of Information Security, 8 (6): 399-422, 2009.
  • Giffhorn, D. and Hammer, C. Precise Slicing of Concurrent Programs -- An Evaluation of Precise Slicing Algorithms for Concurrent Programs.  In Journal of Automated Software Engineering, 16 (2): 197-234, 2009.

 

In Collections

2017

  • Groß, S.; Tiwari, A. and Hammer, C. ThiefTrap – An Anti-Theft Framework for Android. Accepted for publication at SecureComm 2017
  • Bichhawat, A.; Rajani, V.; Garg, D. and Hammer, C. WebPol: Fine-grained Information Flow Policies for Web Browsers. In ESORICS 2017, pp 242-259, Springer , LNCS 10492, 2017.
  • Welearegai, G. and Hammer, C. Optimized Automatic Sanitizer Placement.  In Engineering Secure Software and Systems, pages 87-96, Springer, LNCS 10379, 2017.

 

2015 

 

2014

 

2013

 

2012

 

In Proceedings

2016

 

2015

 

2014 

 

2013

 

2011

 

2010

 

2008

 

2007

 

2006

 

2004

 

PhD Theses

2009

 

Conference Proceedings

2012

  • Hammer, C.; Dolby, J. and Gowri, M., ed. Proceedings of the Workshop on JavaScript Tools.  ACM, 2012. www 

 

Technical Reports

2013 

  • Backes, M.; Gerling, S.; Hammer, C.; Maffei, M. and Styp-Rekowsky, P. v. AppGuard -- Fine-grained Policy Enforcement for Untrusted Android Applications. Technical Report A/02/2013, Saarland University, Computer Science, 2013.

 

2012

  • Marino, D.; Hammer, C.; Dolby, J.; Vaziri, M.; Tip, F. and Vitek, J. Detecting Deadlock in Programs with Data-Centric Synchronization. Technical Report RC25300, IBM Research Report, 2012.
  • Backes, M.; Gerling, S.; Hammer, C.; Maffei, M. and Styp-Rekowsky, P. v. AppGuard - Real-time Policy Enforcement for Third-Party Applications. Technical Report A/02/2012, Saarland University, Computer Science, 2012.

 

2011

  • Dolby, J.; Hammer, C.; Marino, D.; Tip, F.; Vaziri, M. and Vitek, J. A data-centric approach to synchronization. Technical Report RC25106, IBM Research Report, 2011.

 

2008