Benutzerbeiträge von „Dv9597“
15. Januar 2025
- 08:4808:48, 15. Jan. 2025 Unterschied Versionen +246 N Modellierung von Angriffen für quantitative Sicherheitsanalysen Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Matthias Lüthy |email=matthias.luethy@student.kit.edu |vortragssprache=Deutsch |vortragstyp=Masterarbeit |betreuer=Benutzer:Dv9597 |termin=Institutsseminar/2025-02-20 |vortragsmodus=in Präsenz |kurzfassung=Kurzfassung }}“ aktuell
- 08:4608:46, 15. Jan. 2025 Unterschied Versionen +75 N Institutsseminar/2025-02-20 Die Seite wurde neu angelegt: „{{Termin |datum=2025-02-20T11:30:00.000Z |raum=Raum 333 (Gebäude 50.34) }}“ aktuell
10. Juni 2024
- 07:3207:32, 10. Jun. 2024 Unterschied Versionen +2.168 Iterative Quelltextanalyse für Informationsflusssicherheit zur Überprüfung von Vertraulichkeit auf Architekturebene Keine Bearbeitungszusammenfassung aktuell
17. April 2024
- 13:2113:21, 17. Apr. 2024 Unterschied Versionen +218 N Iterative Quelltextanalyse für Informationsflusssicherheit zur Überprüfung von Vertraulichkeit auf Architekturebene Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Jonas Lehmann |email=jonas.lehmann3@student.kit.edu |vortragstyp=Masterarbeit |betreuer=Benutzer:Dv9597 |termin=Institutsseminar/2024-06-21 |vortragsmodus=in Präsenz |kurzfassung=Kurzfassung }}“
3. Juli 2023
- 15:5215:52, 3. Jul. 2023 Unterschied Versionen +1.363 Konsistenzhaltung von Eingabemodellen für Architekturanalysen und statischen Quelltextanalysen für Sicherheit Keine Bearbeitungszusammenfassung aktuell
16. Juni 2023
- 14:5414:54, 16. Jun. 2023 Unterschied Versionen +1.544 Integrating Architecture-based Confidentiality Analysis with Code-based Information Flow Analysis Keine Bearbeitungszusammenfassung aktuell
26. Mai 2023
- 12:3812:38, 26. Mai 2023 Unterschied Versionen +219 N Konsistenzhaltung von Eingabemodellen für Architekturanalysen und statischen Quelltextanalysen für Sicherheit Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Simeon Becker |email=simeon.becker@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Benutzer:Dv9597 |termin=Institutsseminar/2023-…“
- 12:3712:37, 26. Mai 2023 Unterschied Versionen +75 N Institutsseminar/2023-07-14 Die Seite wurde neu angelegt: „{{Termin |datum=2023-07-14T11:30:00.000Z |raum=Raum 348 (Gebäude 50.34) }}“
- 08:5108:51, 26. Mai 2023 Unterschied Versionen +219 N Integrating Architecture-based Confidentiality Analysis with Code-based Information Flow Analysis Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Tobias Manske |email=tobias.manske@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Benutzer:Dv9597 |termin=Institutsseminar/2023-…“
- 08:5008:50, 26. Mai 2023 Unterschied Versionen +75 N Institutsseminar/2023-06-23 Die Seite wurde neu angelegt: „{{Termin |datum=2023-06-23T11:30:00.000Z |raum=Raum 348 (Gebäude 50.34) }}“ aktuell
22. November 2022
- 09:1609:16, 22. Nov. 2022 Unterschied Versionen 0 Linking Architectural Analyses Based on Attacker Models Keine Bearbeitungszusammenfassung aktuell
- 08:5208:52, 22. Nov. 2022 Unterschied Versionen +74 N Combining Architectural Analyses based on Attacker Models Dv9597 verschob die Seite Combining Architectural Analyses based on Attacker Models nach Linking Architectural Analyses Based on Attacker Models: Umbenennung der Abschlussarbeit aktuell Markierung: Neue Weiterleitung
- 08:5208:52, 22. Nov. 2022 Unterschied Versionen 0 K Linking Architectural Analyses Based on Attacker Models Dv9597 verschob die Seite Combining Architectural Analyses based on Attacker Models nach Linking Architectural Analyses Based on Attacker Models: Umbenennung der Abschlussarbeit
- 08:5108:51, 22. Nov. 2022 Unterschied Versionen +1.458 Linking Architectural Analyses Based on Attacker Models Keine Bearbeitungszusammenfassung
7. November 2022
- 17:1817:18, 7. Nov. 2022 Unterschied Versionen −6 Kopplung statischer Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit Keine Bearbeitungszusammenfassung aktuell
- 17:1717:17, 7. Nov. 2022 Unterschied Versionen −3 Kopplung statischer Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit Keine Bearbeitungszusammenfassung
- 17:1717:17, 7. Nov. 2022 Unterschied Versionen +1.744 Kopplung statischer Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit Keine Bearbeitungszusammenfassung
12. Juli 2022
- 15:0815:08, 12. Jul. 2022 Unterschied Versionen +209 N Kopplung statischer Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Laura Traub |email=uugre@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Benutzer:Dv9597 |termin=Institutsseminar/2022-11-11 |vor…“
14. Januar 2022
- 13:0813:08, 14. Jan. 2022 Unterschied Versionen −124 Modelling and Enforcing Access Control Requirements for Smart Contracts Keine Bearbeitungszusammenfassung aktuell
- 09:3409:34, 14. Jan. 2022 Unterschied Versionen +151 Modelling and Enforcing Access Control Requirements for Smart Contracts Keine Bearbeitungszusammenfassung
10. Januar 2022
- 08:5908:59, 10. Jan. 2022 Unterschied Versionen +2.580 Modelling and Enforcing Access Control Requirements for Smart Contracts Keine Bearbeitungszusammenfassung
- 08:4708:47, 10. Jan. 2022 Unterschied Versionen +90 N Generation of Formal Specifications for Smart Contracts from Architectural Specifications Dv9597 verschob die Seite Generation of Formal Specifications for Smart Contracts from Architectural Specifications nach Modelling and Enforcing Access Control Requirements for Smart Contracts aktuell Markierung: Neue Weiterleitung
- 08:4708:47, 10. Jan. 2022 Unterschied Versionen 0 K Modelling and Enforcing Access Control Requirements for Smart Contracts Dv9597 verschob die Seite Generation of Formal Specifications for Smart Contracts from Architectural Specifications nach Modelling and Enforcing Access Control Requirements for Smart Contracts
13. Dezember 2021
- 15:5815:58, 13. Dez. 2021 Unterschied Versionen 0 Modelling and Enforcing Access Control Requirements for Smart Contracts Keine Bearbeitungszusammenfassung
- 15:5715:57, 13. Dez. 2021 Unterschied Versionen 0 Institutsseminar/2022-01-21 Keine Bearbeitungszusammenfassung
- 15:5715:57, 13. Dez. 2021 Unterschied Versionen 0 Institutsseminar/2022-01-21 Keine Bearbeitungszusammenfassung
- 15:5615:56, 13. Dez. 2021 Unterschied Versionen +75 N Institutsseminar/2022-01-21 Die Seite wurde neu angelegt: „{{Termin |datum=2021-01-01T14:00:00.000Z |raum=Raum 348 (Gebäude 50.34) }}“
8. Dezember 2021
- 14:1014:10, 8. Dez. 2021 Unterschied Versionen +202 N Modelling and Enforcing Access Control Requirements for Smart Contracts Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Jan-Philipp Töberg |email=jan-philipp.toeberg@student.kit.edu |vortragstyp=Masterarbeit |betreuer=Benutzer:Dv9597 |termin=Institutssem…“
7. Oktober 2021
- 12:3812:38, 7. Okt. 2021 Unterschied Versionen +1.390 Enabling the Information Transfer between Architecture and Source Code for Security Analysis Keine Bearbeitungszusammenfassung aktuell
15. September 2021
- 12:3712:37, 15. Sep. 2021 Unterschied Versionen +211 N Enabling the Information Transfer between Architecture and Source Code for Security Analysis Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Johannes Häring |email=johannes.haering@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Benutzer:Dv9597 |termin=Institutsseminar…“
- 12:3212:32, 15. Sep. 2021 Unterschied Versionen 0 Institutsseminar/2021-10-15 Zusatztermin Keine Bearbeitungszusammenfassung
- 12:3212:32, 15. Sep. 2021 Unterschied Versionen +109 N Institutsseminar/2021-10-15 Zusatztermin Die Seite wurde neu angelegt: „{{Termin |datum=2021/10/15 14:00:00 |raum=https://sdqweb.ipd.kit.edu/wiki/Institutsseminar/Microsoft Teams }}“
13. September 2021
- 15:3315:33, 13. Sep. 2021 Unterschied Versionen 0 Frederik Reiche Weiterleitungsziel von Frederik Reiche nach Frederik Reiche geändert Markierung: Weiterleitungsziel geändert
- 15:2515:25, 13. Sep. 2021 Unterschied Versionen −51 Frederik Reiche Weiterleitungsziel von Modularization approaches in the context of monolithic simulations nach Frederik Reiche geändert Markierung: Weiterleitungsziel geändert
- 15:1915:19, 13. Sep. 2021 Unterschied Versionen 0 Modularization approaches in the context of monolithic simulations Keine Bearbeitungszusammenfassung aktuell
- 15:1715:17, 13. Sep. 2021 Unterschied Versionen +131 N Frederik Reiche Die Seite wurde neu angelegt: „{{Betreuer |email=frederik.reiche@kit.edu |homepage=https://sdq.ipd.kit.edu/home/people/frederik-reiche/ |lehrstuhl=IPD Reussner }}“ aktuell