TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 10.

Bračevac, Oliver and Gay, Richard and Grewe, Sylvia and Mantel, Heiko and Sudbrock, Henning and Tasch, Markus :
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018
[Article] , (2018)

Gil Dantas, Yuri and Gay, Richard and Hamann, Tobias and Mantel, Heiko and Schickel, Johannes :
An Evaluation of Bucketing in Systems with Non-Deterministic Timing Behavior.
In: 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIP SEC).
[Conference or Workshop Item] , (2018)

Gay, Richard :
A Generic Framework for Enforcing Security in Distributed Systems.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6987]
Technische Universität , Darmstadt
[Ph.D. Thesis], (2017)

Gay, Richard and Hu, Jinwei and Mantel, Heiko and Mazaheri, Sogol :
Relationship-Based Access Control for Resharing in Decentralized Online Social Networks.
In: Proceedings of the 10th International Symposium on Foundations & Practice of Security (FPS).
[Conference or Workshop Item] , (2017)

Gay, Richard and Hu, Jinwei and Mantel, Heiko and Schickel, Johannes :
Towards Accelerated Usage Control based on Access Correlations.
In: Proceedings of the 22nd Nordic Conference on Secure IT Systems (NordSec).
[Conference or Workshop Item] , (2017)

Gay, Richard and Mantel, Heiko and Sudbrock, Henning :
An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels.
[Online-Edition: https://www.iit.cnr.it/qasa2013/]
2nd International Workshop on Quantitative Aspects in Security Assurance
[Conference or Workshop Item] , (2013)

Gay, Richard and Mantel, Heiko and Sprick, Barbara
TU Darmstadt (ed.) :

Service Automata.
TU Darmstadt (.) Preproceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST)
[Conference or Workshop Item] , (2011)

Gay, Richard and Mantel, Heiko and Sprick, Barbara :
Service Automata for Secure Distributed Systems.

[Other] , (2010)

Gay, Richard :
Interrupt-Related Covert Channels from an Attacker's Perspective.
RWTH Aachen
[Master Thesis] , (2008)

Gay, Richard :
Interrupt-Related Covert Channels from an Attacker's Perspective.
RWTH Aachen
[Master Thesis] , (2008)

This list was generated on Sat Apr 20 00:39:09 2019 CEST.