| Zeit | Freitag 20.05.2011 |
|---|---|
| Mehrtägige Veranstaltungen |
| 9:00 | |
|---|---|
| 10:00 | |
| 11:00 | |
| 12:00 | |
| 13:00 | |
| 14:00 | |
| 15:00 | |
| 16:00 | |
| 17:00 | |
| 18:00 |
Techniques to reduce the TCB of an OS (Statusvortrag)
Sprecher Bernhard KauerZugehörigkeit Sprecher Institut für Systemarchitektur, Lehrstuhl BetriebssystemeZeit 11:00 - 12:00Veranstaltungsort INF 3105 (Beratungsraum, 3. Etage) TUD Andreas-Pfitzmann-BauBeschreibung Operating systems are large and very seldom bug free. Thus they have a large TCB which can be exploited by an attacker. One reason for the ever increasing size of operating…Translation Validation
Sprecher Dipl.-Inf. Ute SchiffelZeit 13:15 - 14:15Veranstaltungsort INF 1004 (Ratssaal) TUD Andreas-Pfitzmann-BauBeschreibung Most formal verification methods verify the correctness of the high-level representation of an application. For executing the application on a target architecture, various…Hardware Error Detection Using AN-Codes
Sprecher Dipl.-Inf. Ute SchiffelZeit 15:15 - 16:15Veranstaltungsort INF 1004 (Ratssaal) TUD Andreas-Pfitzmann-BauBeschreibung Commercial off-the-shelf (COTS) hardware is becoming less reliable because of the continuously decreasing feature sizes of integrated circuits. Nevertheless, due to economic…
Legende
- Ausgründung/Transfer
- Bauing., Architektur
- Biologie
- Chemie
- Elektro- u. Informationstechnik
- für Schüler:innen
- Gesellschaft, Philos., Erzieh.
- Informatik
- Jura
- Maschinenwesen
- Materialien
- Mathematik
- Medizin
- Physik
- Psychologie
- Sprache, Literatur und Kultur
- Umwelt
- Verkehr
- Weiterbildung
- Willkommen
- Wirtschaft