Robert Grabowski

I am a PhD student in Computer Science at Ludwig-Maximilians-Universität in Munich, Germany. My advisor is Prof. Martin Hofmann (Theoretical Computer Science).

My research interests include the static analysis of secure information flows and noninterference on mobile devices, as well as type systems to enforce security-improving "best programming practices". Earlier, I focused on grammar formalisms for natural languages and computational linguistics.

Coordinates

e-mail	robert.grabowski@ifi.lmu.de
phone	+49-89-2180-9864
office	E105
address	Institut für Informatik / TCS Ludwig-Maximilians-Universität Oettingenstraße 67, D-80538 München

Publications

Type-Based Enforcement of Secure Programming Guidelines – Code Injection Prevention at SAP
Robert Grabowski, Martin Hofmann, Keqin Li (2011)
8th International Workshop on Formal Aspects of Security & Trust (FAST), Leuven, Belgium
To appear in: LNCS 7140, 2011, ©Springer-Verlag
pdf | slides | venue | extended version | implementation
Verifying Pointer and String Analyses with Region Type Systems
Lennart Beringer, Robert Grabowski, Martin Hofmann (2010)
16th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), Dakar, Senegal
LNAI 6355, 2010, ©Springer-Verlag
pdf | slides | venue | extended version | isabelle formalization
Noninterference with Dynamic Security Domains and Policies
Robert Grabowski, Lennart Beringer (2009)
13th Asian Computing Science Conference, Focusing on Information Security and Privacy, Seoul, Korea
LNCS 5913, 2009, ©Springer-Verlag
pdf | slides | venue | soundness proofs
Noninterference for Mobile Code with Dynamic Security Domains
Robert Grabowski (2008)
Second International Workshop on Proof-Carrying Code, Pittsburgh, PA, USA
Electronic Report, 2008, University of Edinburgh
pdf | venue
Computational Aspects of Non-Projective Dependency Grammars
Robert Grabowski (2006)
Diploma Thesis, Saarland University, Germany
pdf
Lexicalised Configuration Grammars
Robert Grabowski, Marco Kuhlmann, Mathias Möhl (2005)
Second International Workshop on Constraint Solving and Language Processing (CSLP), Sitges, Spain
pdf | extended version (technical report) | venue

Talks

Noninterference for Dynamic Security Environments
Robert Grabowski (2010)
Programming Languages Day 2010 at IBM Thomas J. Watson Research Center, Hawthorne, NY, USA
slides | abstract | venue
Information Flow Security for Imperative Languages
Robert Grabowski (2007)
14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Timmendorfer Strand, Germany
slides | extended abstract | venue

Software

Type-Based Java String Analyzer: implementation of a string type system for Java
part of the work on automatic enforcement of programming guidelines for security (2011)
website | live demo
dsdtool: OCaml implementation of the full DSD verification framework
part of the PhD thesis (2011)
sources (zip)
DSecCheck Eclipse plug-in: (older) Java implementation of the high-level DSD type system
with Florian Lasinger (2009)
sources (zip)

Current projects

PolyNI: Verification of polymorphic noninterference for mobile code

Previous projects

InfoZert: Verification and Certification of Information Flows
Mobius: Mobility, Ubiquity and Security

Teaching

WS 2009/10: Compiler construction course (in German)

...

Last modified:

valid XHTML 1.0