Richard Gay

According to our database, Richard Gay authored at least 8 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.

Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch

Arch. Formal Proofs, 2018

An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior.

Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel, Johannes Schickel

Proceedings of the ICT Systems Security and Privacy Protection, 2018

2017

A Generic Framework for Enforcing Security in Distributed Systems.

Richard Gay

PhD thesis, 2017

Towards Accelerated Usage Control Based on Access Correlations.

Richard Gay, Jinwei Hu, Heiko Mantel, Johannes Schickel

Proceedings of the Secure IT Systems, 2017

Relationship-Based Access Control for Resharing in Decentralized Online Social Networks.

Richard Gay, Jinwei Hu, Heiko Mantel, Sogol Mazaheri

Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017

2015

An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels.

Richard Gay, Heiko Mantel, Henning Sudbrock

Int. J. Secur. Softw. Eng., 2015

2014

CliSeAu: Securing Distributed Java Programs by Cooperative Dynamic Enforcement.

Richard Gay, Jinwei Hu, Heiko Mantel

Proceedings of the Information Systems Security - 10th International Conference, 2014

2011

Service Automata.

Richard Gay, Heiko Mantel, Barbara Sprick

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011