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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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