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: 5.

Article

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

Conference or Workshop Item

Li, Ximeng ; Mantel, Heiko ; Tasch, Markus (2017)
Taming Message-passing Communication in Compositional Reasoning about Confidentiality.
Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS).
Conference or Workshop Item, Bibliographie

Report

Li, Ximeng ; Mantel, Heiko ; Schickel, Johannes ; Tasch, Markus ; Weber, Alexandra ; Toteva, Iva (2017)
SPASCA: Secure-Programming Assistant and Side-Channel Analyzer.
Report, Bibliographie

Bauereiß, Thomas ; Greiner, Simon ; Herda, Mihai ; Kirsten, Michael ; Li, Ximeng ; Mantel, Heiko ; Mohr, Martin ; Perner, Matthias ; Schneider, David ; Tasch, Markus (2017)
RIFL 1.1: A Common Specification Language for Information-Flow Requirements.
doi: 10.5445/IR/1000092713
Report, Bibliographie

Hermann, Ben ; Li, Ximeng ; Mantel, Heiko ; Mezini, Mira ; Tasch, Markus ; Wendel, Florian ; Weber, Friedrich (2017)
Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface.
Report, Bibliographie

This list was generated on Tue May 21 01:42:51 2024 CEST.