Die Suche ergab 80 Treffer

von FlorianD
30. Mär 2020 17:10
Forum: Modellierung, Spezifikation und Semantik
Thema: Lab: Formal Specification and Verification in Isabelle/HOL
Antworten: 0
Zugriffe: 90

Lab: Formal Specification and Verification in Isabelle/HOL

In the summer term 2020, the MAIS group offers the lab "Formal Specification and Verification in Isabelle/HOL" (6CP, TUCaN Id: 20-00-0778-pr). Formal methods allow one to model critical requirements precisely and to certify with mathematical rigor that such requirements are met by a system. For appl...
von FlorianD
30. Mär 2020 17:10
Forum: Modellierung, Spezifikation und Semantik
Thema: Lab: Side-Channel Analysis
Antworten: 0
Zugriffe: 13

Lab: Side-Channel Analysis

In the summer term 2020, the MAIS group offers the lab "Side-Channel Analysis" (6CP, TUCaN Id: 20-00-1090-pr). Side channels are communication channels based on execution characteristics that were not meant to be used for communication. Characteristics that underly side channels include execution ti...
von FlorianD
30. Mär 2020 17:09
Forum: Modellierung, Spezifikation und Semantik
Thema: Seminar: Attacker Models in IT Security
Antworten: 0
Zugriffe: 12

Seminar: Attacker Models in IT Security

In the summer term 2020, the MAIS group offers the seminar "Attacker Models in IT Security" (3CP, TUCaN Id: 20-00-1091-se). When assessing the security of IT systems, one needs to take into account which capabilities and which intentions the potential attackers might have. The purpose of attacker mo...
von FlorianD
30. Mär 2020 17:09
Forum: Modellierung, Spezifikation und Semantik
Thema: Seminar: Formal Specification
Antworten: 0
Zugriffe: 16

Seminar: Formal Specification

In the summer term 2020, the MAIS group offers the seminar "Formal Specification" (3CP, TUCaN Id: 20-00-0914-se). As long as requirements to computer designs are formulated in an ambiguous human language and as long as these designs are implemented by humans not insured against possible carelessness...
von FlorianD
30. Mär 2020 17:08
Forum: Formal Methods for Information Security
Thema: Lab: Formal Specification and Verification in Isabelle/HOL
Antworten: 0
Zugriffe: 13

Lab: Formal Specification and Verification in Isabelle/HOL

In the summer term 2020, the MAIS group offers the lab "Formal Specification and Verification in Isabelle/HOL" (6CP, TUCaN Id: 20-00-0778-pr). Formal methods allow one to model critical requirements precisely and to certify with mathematical rigor that such requirements are met by a system. For appl...
von FlorianD
30. Mär 2020 17:08
Forum: Formal Methods for Information Security
Thema: Lab: Side-Channel Analysis
Antworten: 0
Zugriffe: 3

Lab: Side-Channel Analysis

In the summer term 2020, the MAIS group offers the lab "Side-Channel Analysis" (6CP, TUCaN Id: 20-00-1090-pr). Side channels are communication channels based on execution characteristics that were not meant to be used for communication. Characteristics that underly side channels include execution ti...
von FlorianD
30. Mär 2020 17:08
Forum: Formal Methods for Information Security
Thema: Seminar: Attacker Models in IT Security
Antworten: 0
Zugriffe: 3

Seminar: Attacker Models in IT Security

In the summer term 2020, the MAIS group offers the seminar "Attacker Models in IT Security" (3CP, TUCaN Id: 20-00-1091-se). When assessing the security of IT systems, one needs to take into account which capabilities and which intentions the potential attackers might have. The purpose of attacker mo...
von FlorianD
30. Mär 2020 17:07
Forum: Formal Methods for Information Security
Thema: Seminar: Formal Specification
Antworten: 0
Zugriffe: 4

Seminar: Formal Specification

In the summer term 2020, the MAIS group offers the seminar "Formal Specification" (3CP, TUCaN Id: 20-00-0914-se). As long as requirements to computer designs are formulated in an ambiguous human language and as long as these designs are implemented by humans not insured against possible carelessness...
von FlorianD
30. Mär 2020 17:07
Forum: Static and Dynamic Program Analysis
Thema: Lab: Formal Specification and Verification in Isabelle/HOL
Antworten: 0
Zugriffe: 12

Lab: Formal Specification and Verification in Isabelle/HOL

In the summer term 2020, the MAIS group offers the lab "Formal Specification and Verification in Isabelle/HOL" (6CP, TUCaN Id: 20-00-0778-pr). Formal methods allow one to model critical requirements precisely and to certify with mathematical rigor that such requirements are met by a system. For appl...
von FlorianD
30. Mär 2020 17:07
Forum: Static and Dynamic Program Analysis
Thema: Lab: Side-Channel Analysis
Antworten: 0
Zugriffe: 5

Lab: Side-Channel Analysis

In the summer term 2020, the MAIS group offers the lab "Side-Channel Analysis" (6CP, TUCaN Id: 20-00-1090-pr). Side channels are communication channels based on execution characteristics that were not meant to be used for communication. Characteristics that underly side channels include execution ti...
von FlorianD
30. Mär 2020 17:06
Forum: Static and Dynamic Program Analysis
Thema: Seminar: Attacker Models in IT Security
Antworten: 0
Zugriffe: 4

Seminar: Attacker Models in IT Security

In the summer term 2020, the MAIS group offers the seminar "Attacker Models in IT Security" (3CP, TUCaN Id: 20-00-1091-se). When assessing the security of IT systems, one needs to take into account which capabilities and which intentions the potential attackers might have. The purpose of attacker mo...
von FlorianD
30. Mär 2020 17:06
Forum: Static and Dynamic Program Analysis
Thema: Seminar: Formal Specification
Antworten: 0
Zugriffe: 4

Seminar: Formal Specification

In the summer term 2020, the MAIS group offers the seminar "Formal Specification" (3CP, TUCaN Id: 20-00-0914-se). As long as requirements to computer designs are formulated in an ambiguous human language and as long as these designs are implemented by humans not insured against possible carelessness...
von FlorianD
26. Sep 2019 15:50
Forum: Formal Methods for Information Security
Thema: Lab: Reliable Software Security for Mobile Devices
Antworten: 0
Zugriffe: 201

Lab: Reliable Software Security for Mobile Devices

In the winter term 2019/20, the MAIS group offers the lab "Reliable Software Security for Mobile Devices" (6 CP, TUCaN Id: id 20-00-0799-pr). Apps running on Android smartphones have access to various kinds of private information of their users, e.g., contacts, appointments, and location. To protect...
von FlorianD
26. Sep 2019 15:50
Forum: Formal Methods for Information Security
Thema: Seminar: Software Security for Mobile Devices
Antworten: 0
Zugriffe: 37

Seminar: Software Security for Mobile Devices

In the winter term 2019/20, the MAIS group offers the seminar "Software Security for Mobile Devices" (3CP, TUCaN Id: 20-00-0641). The seminar aims at establishing a link between two hot topics in computer science: The first topic is the security solutions and known vulnerabiltities on modern mobile ...
von FlorianD
26. Sep 2019 15:49
Forum: Formal Methods for Information Security
Thema: Seminar: Current Topics of Modular Verification
Antworten: 0
Zugriffe: 53

Seminar: Current Topics of Modular Verification

In the winter term 2019/20, the MAIS group offers the seminar "Current Topics of Modular Verification" (3CP, TUCaN Id: 20-00-1077). When designing software systems, correctness is a key feature. Bugs do not only lead to costs, but can, in the worst case, even endanger human lives (e.g. software in p...

Zur erweiterten Suche