Simple Science

Hochmoderne Wissenschaft einfach erklärt

Hochmoderne Wissenschaft einfach erklärt

Yicheng Zhang

Programmiersprachen Einführung von MARVeLus: Eine neue Sprache für cyber-physische Systeme

MARVeLus verbindet Verifizierung und Implementierung für sicherere cyber-physikalische Systeme.

2025-07-30T21:54:48+00:00 ― 7 min Lesedauer

Kryptographie und Sicherheit Timing-Angriffe: Datenschutzrisiken in Dateisystemen

Dieses Papier untersucht, wie Zeitunterschiede in Dateisystemen sensible Informationen offenbaren können.

2025-05-21T16:03:27+00:00 ― 5 min Lesedauer