Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design


Project Acronym Projekt Kurzbezeichnung
SFB SPyCoDe
 
Project Title (de) Projekttitel (de)
Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design
 
Project Title (en) Projekttitel (en)
Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
F 85
 

Publications

Filter:
Author:  Bhayat, Ahmed

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael Superposition with Delayed UnificationInproceedings Konferenzbeitrag 2-Sep-2023
2Bhayat, Ahmed ; Korovin, Konstantin ; Kovács, Laura ; Schoisswohl, Johannes Refining Unification with AbstractionInproceedings Konferenzbeitrag 3-Jun-2023