Dipl.-Inform. Richard Gay

Office:	S2\|02 E312
Phone:	+49 6151 16-6802 or +49 6151 16-64810
Fax:	+49 6151 16-5326
Mail:	gaymais.informatik.tu-darmstadt.de
Office hour:	Mondays, 13:30-14:30

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany

GPG-Key: 2048D/DDF56D35, Fingerprint: 83C6 3E16 52B7 7AFE EAFB AAE7 BC15 0776 DDF5 6D35.

My first contact with the group of Heiko Mantel was in 2006 at RWTH Aachen, when I started working as a student researcher for the group on the MAKS framework. Later, yet still as a student researcher for the group, I switched to the topic of covert channels which were then also the topic of my Diploma thesis (see the publications below). After graduating in computer science at RWTH Aachen, I started as a PhD student in the MAIS group and CASED scholarship holder in 2009. Since then, my research focusses on runtime monitoring and enforcement for distributed applications. Starting with 2012, I am part of the FM-SecEng project.

Research Interests

runtime monitoring and enforcement
distributed systems
security engineering
formal methods

Theses

If you are a student at TU Darmstadt and are interested in writing a Bachelor's, Diploma or Master's thesis with me, please contact me. Topics are available in the research area of dynamic enforcement of security for distributed applications, particularly:

implementing extensions that make Service Automata (see publication below) more powerful
applying and evaluating Service Automata in case studies
advancing the theory for distributed enforcement mechanisms

Student positions (HiWi)

If you are interested in one of the thesis topics above but are currently not looking for a thesis but rather a position for a student researcher (HiWi), please contact me.

Publications

These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

2012

Richard Gay, Heiko Mantel and Barbara Sprick. Service Automata. In Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST). LNCS 7140, pages 148-163. Springer, 2012.
[ BibTeX entry | PDF | Proofs ]

2011

Richard Gay, Heiko Mantel and Barbara Sprick. Service Automata. In Preproceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST), 2011.
[ BibTeX entry | PDF | Proofs ]

2010

Richard Gay, Heiko Mantel and Barbara Sprick. Service Automata for Secure Distributed Systems. Poster at Annual Computer Security Applications Conference (ACSAC), 2010.
[ BibTeX entry ]

2008

Richard Gay. Interrupt-Related Covert Channels from an Attacker's Perspective. RWTH Aachen, 2008.
[ BibTeX entry | PDF ]

Supervised Theses

Dominic Scheurer. Enforcing Datalog Policies with Service Automata on Distributed Version Control Systems (Bachelor Thesis). TU Darmstadt, 2013.
[ BibTeX entry ]
Markus Tasch. Exemplary Specification of Integrity Requirements by Information-Flow Properties (Bachelor Thesis). TU Darmstadt, 2013.
[ BibTeX entry ]

Sogol Mazaheri. Race Conditions in Distributed Enforcement at the Example of Online Social Networks (Bachelor Thesis). TU Darmstadt, 2012.
[ BibTeX entry ]
Daniel Specht. A Formal Model and Tool for Data Flow Security in Computer Networks (Bachelor Thesis). TU Darmstadt, 2012.
[ BibTeX entry ]
Florian Wendel. An Evaluation of Delegation Strategies for Coordinated Enforcement (Bachelor Thesis). TU Darmstadt, 2012.
[ BibTeX entry ]

Last modified on 3 May 2013.