Die Suche ergab 92 Treffer

von FlorianD
9. Apr 2020 18:07
Forum: Formal Methods for Information Security
Thema: Lab: Formal Specification and Verification in Isabelle/HOL
Antworten: 1
Zugriffe: 145

Re: Lab: Formal Specification and Verification in Isabelle/HOL

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 18:05
Forum: Formal Methods for Information Security
Thema: Lab: Side-Channel Analysis
Antworten: 1
Zugriffe: 33

Re: Lab: Side-Channel Analysis

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 18:04
Forum: Formal Methods for Information Security
Thema: Seminar: Attacker Models in IT Security
Antworten: 1
Zugriffe: 36

Re: Seminar: Attacker Models in IT Security

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 18:04
Forum: Formal Methods for Information Security
Thema: Seminar: Formal Specification
Antworten: 1
Zugriffe: 31

Re: Seminar: Formal Specification

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 18:03
Forum: Modellierung, Spezifikation und Semantik
Thema: Lab: Formal Specification and Verification in Isabelle/HOL
Antworten: 1
Zugriffe: 260

Re: Lab: Formal Specification and Verification in Isabelle/HOL

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 18:03
Forum: Modellierung, Spezifikation und Semantik
Thema: Lab: Side-Channel Analysis
Antworten: 1
Zugriffe: 58

Re: Lab: Side-Channel Analysis

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 18:03
Forum: Modellierung, Spezifikation und Semantik
Thema: Seminar: Attacker Models in IT Security
Antworten: 1
Zugriffe: 62

Re: Seminar: Attacker Models in IT Security

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 18:02
Forum: Modellierung, Spezifikation und Semantik
Thema: Seminar: Formal Specification
Antworten: 1
Zugriffe: 68

Re: Seminar: Formal Specification

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 18:02
Forum: Static and Dynamic Program Analysis
Thema: Lab: Formal Specification and Verification in Isabelle/HOL
Antworten: 1
Zugriffe: 124

Re: Lab: Formal Specification and Verification in Isabelle/HOL

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 18:01
Forum: Static and Dynamic Program Analysis
Thema: Lab: Side-Channel Analysis
Antworten: 1
Zugriffe: 49

Re: Lab: Side-Channel Analysis

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 17:59
Forum: Static and Dynamic Program Analysis
Thema: Seminar: Attacker Models in IT Security
Antworten: 1
Zugriffe: 26

Re: Seminar: Attacker Models in IT Security

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
9. Apr 2020 17:58
Forum: Static and Dynamic Program Analysis
Thema: Seminar: Formal Specification
Antworten: 1
Zugriffe: 33

Re: Seminar: Formal Specification

Update: The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of ...
von FlorianD
30. Mär 2020 17:10
Forum: Modellierung, Spezifikation und Semantik
Thema: Lab: Formal Specification and Verification in Isabelle/HOL
Antworten: 1
Zugriffe: 260

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: 1
Zugriffe: 58

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: 1
Zugriffe: 62

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...

Zur erweiterten Suche