Die Suche ergab 98 Treffer

von FlorianD
15. Okt 2020 09:19
Forum: Static and Dynamic Program Analysis
Thema: Seminar: Current Topics in Concurrency and Parallelism
Antworten: 0
Zugriffe: 95

Seminar: Current Topics in Concurrency and Parallelism

In the winter term 2020/2021, the MAIS group offers the seminar "Current Topics in Concurrency and Parallelism" (3CP, TUCaN Id: 20-00-0960-se). Modern computing hardware offers multiple processor cores to complete tasks. Since a single processor core only increases ever so slightly year over year, m...
von FlorianD
15. Okt 2020 09:18
Forum: Static and Dynamic Program Analysis
Thema: Seminar: Side-Channel Attacks on Software
Antworten: 0
Zugriffe: 53

Seminar: Side-Channel Attacks on Software

In the winter term 2020/2021, the MAIS group offers the seminar "Side-Channel Attacks on Software" (3CP, TUCaN Id: 20-00-0798-se). In this seminar we will discuss research articles on different aspects of side-channel attacks on software as well as countermeasures against them. Exemplary topics incl...
von FlorianD
15. Okt 2020 09:17
Forum: Formal Methods for Information Security
Thema: Seminar: Current Topics in Concurrency and Parallelism
Antworten: 0
Zugriffe: 187

Seminar: Current Topics in Concurrency and Parallelism

In the winter term 2020/2021, the MAIS group offers the seminar "Current Topics in Concurrency and Parallelism" (3CP, TUCaN Id: 20-00-0960-se). Modern computing hardware offers multiple processor cores to complete tasks. Since a single processor core only increases ever so slightly year over year, m...
von FlorianD
15. Okt 2020 09:17
Forum: Formal Methods for Information Security
Thema: Seminar: Side-Channel Attacks on Software
Antworten: 0
Zugriffe: 62

Seminar: Side-Channel Attacks on Software

In the winter term 2020/2021, the MAIS group offers the seminar "Side-Channel Attacks on Software" (3CP, TUCaN Id: 20-00-0798-se). In this seminar we will discuss research articles on different aspects of side-channel attacks on software as well as countermeasures against them. Exemplary topics incl...
von FlorianD
15. Okt 2020 09:16
Forum: Modellierung, Spezifikation und Semantik
Thema: Seminar: Current Topics in Concurrency and Parallelism
Antworten: 0
Zugriffe: 229

Seminar: Current Topics in Concurrency and Parallelism

In the winter term 2020/2021, the MAIS group offers the seminar "Current Topics in Concurrency and Parallelism" (3CP, TUCaN Id: 20-00-0960-se). Modern computing hardware offers multiple processor cores to complete tasks. Since a single processor core only increases ever so slightly year over year, m...
von FlorianD
15. Okt 2020 09:16
Forum: Modellierung, Spezifikation und Semantik
Thema: Seminar: Side-Channel Attacks on Software
Antworten: 0
Zugriffe: 77

Seminar: Side-Channel Attacks on Software

In the winter term 2020/2021, the MAIS group offers the seminar "Side-Channel Attacks on Software" (3CP, TUCaN Id: 20-00-0798-se). In this seminar we will discuss research articles on different aspects of side-channel attacks on software as well as countermeasures against them. Exemplary topics incl...
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: 291

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: 82

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: 75

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: 89

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: 344

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: 133

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: 149

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: 126

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: 207

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

Zur erweiterten Suche