$$\textsc {Wys}^\star $$ : A DSL for Verified Secure Multi-party Computations (Englisch)
Freier Zugriff
- Neue Suche nach: Rastogi, Aseem
- Neue Suche nach: Swamy, Nikhil
- Neue Suche nach: Hicks, Michael
- Neue Suche nach: Rastogi, Aseem
- Neue Suche nach: Swamy, Nikhil
- Neue Suche nach: Hicks, Michael
In:
Principles of Security and Trust
;
99-122
;
2019
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:$$\textsc {Wys}^\star $$ : A DSL for Verified Secure Multi-party Computations
-
Beteiligte:
-
Erschienen in:Principles of Security and Trust ; 99-122Security and Cryptology ; 11426 ; 99-122
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:01.01.2019
-
Format / Umfang:24 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle: