Benutzerbeiträge
Zur Navigation springen
Zur Suche springen
- 12:43, 16. Nov. 2021 Unterschied Versionen +2.551 Bytes N Konsistenzhaltung von Eingabemodellen für Architektur- und Code-basierte, statische Sicherheitsanalysen Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche, Heiko Klare |bild=KASTEL-Logo_1000.png }} == Moti…“ aktuell
- 10:20, 12. Nov. 2021 Unterschied Versionen +1.485 Bytes Lesegruppe/2020-11-17 aktuell
- 11:49, 22. Jun. 2021 Unterschied Versionen +17 Bytes SDQ-Seminar/2021-07-12 aktuell
- 11:49, 22. Jun. 2021 Unterschied Versionen +193 Bytes SDQ-Seminar/2021-07-12
- 13:23, 31. Mai 2021 Unterschied Versionen -2 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications aktuell
- 07:07, 6. Mai 2021 Unterschied Versionen +100 Bytes SDQ-Seminar/2021-05-10 aktuell
- 12:36, 26. Apr. 2021 Unterschied Versionen -2 Bytes Kopplungsansätze im Kontext statischer Sicherheitsanalysen aktuell
- 12:36, 26. Apr. 2021 Unterschied Versionen +60 Bytes Kopplungsansätze im Kontext statischer Sicherheitsanalysen Änderung 32207 von Dv9597 (Diskussion) rückgängig gemacht. Markierung: Rückgängigmachung
- 12:13, 26. Apr. 2021 Unterschied Versionen -60 Bytes Kopplungsansätze im Kontext statischer Sicherheitsanalysen
- 12:45, 23. Apr. 2021 Unterschied Versionen -34 Bytes KASTEL - Security-By-Design in vernetzten Infrastrukturen aktuell
- 12:44, 23. Apr. 2021 Unterschied Versionen -2 Bytes Entwurf komponierbarer Sicherheitsanalysen aktuell
- 12:41, 23. Apr. 2021 Unterschied Versionen +115 Bytes SDQ-Seminar/2021-05-10
- 07:58, 19. Okt. 2020 Unterschied Versionen -19 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications →Tasks
- 07:57, 19. Okt. 2020 Unterschied Versionen -35 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications →Motivation
- 09:20, 6. Aug. 2020 Unterschied Versionen +1.709 Bytes N Entwurf komponierbarer Sicherheitsanalysen Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche }} ==Motivation== Angriffe auf unsichere System…“
- 10:11, 24. Jul. 2020 Unterschied Versionen +15 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- 15:49, 21. Jul. 2020 Unterschied Versionen +38 Bytes PCM Development/Palladio Concall →Agenda Suggestions
- 12:10, 22. Jun. 2020 Unterschied Versionen 0 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- 12:09, 22. Jun. 2020 Unterschied Versionen 0 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- 12:08, 22. Jun. 2020 Unterschied Versionen +1.993 Bytes N Generation of Formal Specifications for Smart Contracts from Architectural Specifications Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche |bild=KASTEL-Logo_1000.png |pdf=Generation of spec…“
- 12:04, 22. Jun. 2020 Unterschied Versionen 0 Bytes N Datei:Generation of specifications for smartcontracts from architecture.pdf aktuell
- 08:14, 9. Dez. 2019 Unterschied Versionen +87 Bytes KASTEL - Security-By-Design in vernetzten Infrastrukturen
- 11:46, 2. Dez. 2019 Unterschied Versionen +1.676 Bytes N Parametrisierung statischer Analysen im Kontext der Softwaresicherheit Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Frederik Reiche |bild=KASTEL-Logo_1000.png |pdf=Parametrisierung.pdf }} ===Motivat…“ aktuell
- 11:45, 2. Dez. 2019 Unterschied Versionen 0 Bytes N Datei:Parametrisierung.pdf aktuell
- 11:41, 2. Dez. 2019 Unterschied Versionen -1.622 Bytes Kompatibilität und Klassifikation statischer Sicherheitsanalysen Der Seiteninhalt wurde durch einen anderen Text ersetzt: „{{Ausschreibung |bearbeitet=Nein }}“ aktuell Markierung: Ersetzt
- 12:23, 24. Okt. 2019 Unterschied Versionen -14 Bytes Kopplungsansätze im Kontext statischer Sicherheitsanalysen
- 12:23, 24. Okt. 2019 Unterschied Versionen -16 Bytes Kompatibilität und Klassifikation statischer Sicherheitsanalysen
- 12:07, 24. Okt. 2019 Unterschied Versionen -1.551 Bytes Klassifikation statischer Sicherheitsanalysen Der Seiteninhalt wurde durch einen anderen Text ersetzt: „{{Ausschreibung |bearbeitet=Nein }}“ aktuell Markierung: Ersetzt
- 14:50, 26. Sep. 2019 Unterschied Versionen +1 Byte Vorlesung Programmierparadigmen WS19/20 →Internes aktuell
- 14:49, 26. Sep. 2019 Unterschied Versionen +130 Bytes Vorlesung Programmierparadigmen WS19/20 →Vorlesungsfolien und herunterladbare Inhalte
- 07:31, 18. Sep. 2019 Unterschied Versionen +1.489 Bytes N Vorlesung Programmierparadigmen WS19/20 Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = Lecture | name = Programmierparadigmen | nummer = 24030 | semester = Wintersemester 2019/20 | lp = 6 | sws =…“
- 09:08, 2. Sep. 2019 Unterschied Versionen +1.673 Bytes N Kompatibilität und Klassifikation statischer Sicherheitsanalysen Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche |bild=KASTEL-Logo_1000.png }} ==Motivation== Stat…“