TU | ULB | News | Service | Recherche | Subjects | Collections | A-Z | Contact |

TUbiblio

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

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

Bauereiß, Thomas and Greiner, Simon and Herda, Mihai and Kirsten, Michael and Li, Ximeng and Mantel, Heiko and Mohr, Martin and Perner, Matthias and Schneider, David and Tasch, Markus (2017):
RIFL 1.1: A Common Specification Language for Information-Flow Requirements.
[Report]

Hermann, Ben and Li, Ximeng and Mantel, Heiko and Mezini, Mira and Tasch, Markus and Wendel, Florian and 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]

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

This list was generated on Sat Jan 23 01:49:09 2021 CET.


OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.


Drucken | Impressum | Datenschutzerklärung
USER MENU
  • Login
  • TUbiblio home
  • Search
  • Browse
    • Browse by Year
    • Browse by Division
    • Browse by Person
    • Browse by Type of publication
  • DeutschClear Cookie - decide language by browser settings

© Nov 2017 - Powered by APW Themes & Theme by Agung Prasetyo Wibowo.