Markus Tasch und Security - Info zur Person

(1 - 6 von 7

)

Markus Tasch - Archive of Formal Proofsafp.theoremproving.org › authors › markus-tasch

afp.theoremproving.org

... of the Modular Assembly Kit for Security Properties by Oliver Bračevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock and Markus Tasch. 07 May.

Secure IT Systems: 23rd Nordic Conference, NordSec 2018, Oslo, ...

books.google.bg

437 Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, and Markus Tasch When Harry Met Tinder: Security Analysis of Dating Apps on ...

Secure It Systems: 23rd Nordic Conference, Nordsec 2018, Oslo ...vdoc.pub › documents

vdoc.pub

... Martin Mohr, David Schneider, Markus Tasch)....Pages When Harry Met Tinder: Security Analysis of Dating Apps on Android (Kuyju Kim, Taeyun Kim, ...

A Uniform Information-Flow Security Benchmark Suite For Source ...pp.ipd.kit.edu › publication

pp.ipd.kit.edu

[ifspec18nordsec], Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch, A Uniform Information-Flow Security Benchmark Suite ...

[PDF] I-MAKS A Framework for Information-Flow Security in Isabelle /...

www.semanticscholar.org

One Citation · Oliver Bracevac, Richard Gay, Sylvia Grewe, H. Mantel, Henning Sudbrock, Markus Tasch · Computer Science. Arch. Formal Proofs ·

Oliver Bracevac - researchr alias

researchr.org

... Modular Assembly Kit for Security PropertiesOliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch. afp, 2018,

Alle Infos zum Namen "Markus Tasch"

Verwandte Suchanfragen zu Markus Tasch

Oliver Bracevac
Tobias Hamann
Leander Tentrup

Helmut Seidl
Martin Mohr
Sylvia Grewe

Christian Müller
Peter Lammich
Markus Rabe

Person "Tasch" (3)
Vorname "Markus" (61377)
Name "Tasch" (251)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Markus Tasch und Security Person-Info