LogicGuard II: The Optimized Checking of Time-Quantified Logic Formulas with Applications in Computer Security

Schreiner, Wolfgang (PI)

Research Institute for Symbolic Computation

Project: Funded research › FFG - Austrian Research Promotion Agency

Description

Förderungsnehmer: RISC Software GmbH, SecureGUARD GmbH, Universität Linz (RISC)

Status	Finished
Effective start/end date	01.10.2014 → 31.03.2017

Fields of science

101013 Mathematical logic
101001 Algebra
101012 Combinatorics
101020 Technical mathematics
101 Mathematics
101009 Geometry
101005 Computer algebra

JKU Focus areas

Digital Transformation