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

Results 1-9 of 9 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Georgiou, Pamina ; Hajdu, Márton ; Kovács, Laura Saturating Sorting without SortsPreprint Preprint 6-Mar-2024
2Eisenhofer-2024-Embedding the Connection Calculus in Satisfiability Modul...-vor.pdf.jpgEisenhofer, Clemens ; Kovacs, Laura ; Rawson, Michael Embedding the Connection Calculus in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag Jan-2024
3Brugger-2023-CheckMate Automated Game-Theoretic Security Reasoning-vor.pdf.jpgBrugger, Lea Salome ; Kovács, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael CheckMate: Automated Game-Theoretic Security ReasoningInproceedings Konferenzbeitrag 21-Nov-2023
42023-Reshaping Unplugged Computer Science Workshops forPrimary School Edu...-vor.pdf.jpgLandman, Martina ; Rain, Sophie ; Kovács, Laura ; Gerald Futschek Reshaping Unplugged Computer Science Workshops for Primary School EducationInproceedings Konferenzbeitrag 1-Oct-2023
5Eisenhofer-2023-Non-Classical Logics inSatisfiability Modulo Theories-vor.pdf.jpgEisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura Non-Classical Logics in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag 14-Sep-2023
6Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael Superposition with Delayed UnificationInproceedings Konferenzbeitrag 2-Sep-2023
7Scaffino, Giulia ; Aumayr, Lukas ; Avarikioti, Georgia ; Maffei, Matteo Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFiInproceedings Konferenzbeitrag 9-Aug-2023
8Bhayat, Ahmed ; Korovin, Konstantin ; Kovács, Laura ; Schoisswohl, Johannes Refining Unification with AbstractionInproceedings Konferenzbeitrag 3-Jun-2023
9Korovin-2023-ALASCA Reasoning in Quantified Linear Arithmetic-vor.pdf.jpgKorovin, Konstantin ; Kovács, Laura ; Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei ALASCA: Reasoning in Quantified Linear ArithmeticInproceedings Konferenzbeitrag 2023