progscrape: in.tum.de

Writing an NVMe Driver in Rust [pdf]

11 months ago db.in.tum.de hardware pdf rust

FridgeLock: Preventing Data Theft on Suspended Linux with Memory Encryption (2020)

12 months ago sec.in.tum.de encryption linux

Hashing with SIMD: Linear Hashing and Double Hashing (2018)

14 months ago db.in.tum.de

Collection of Software Bugs

5 years ago in.tum.de

Isabelle 2019 released. Generic Proof Assistant (SML, OCaml, Haskel)

5 years ago isabelle.in.tum.de ocaml release

Using the IOMMU for Safe and Secure User Space Drivers

6 years ago net.in.tum.de

Performance Analysis of VPN Gateways (2018)

6 years ago net.in.tum.de vpn

Writing Network Drivers in Rust

6 years ago net.in.tum.de rust

Writing Network Drivers in Go

6 years ago net.in.tum.de go

The software problem which delayed the first Shuttle orbital flight

7 years ago in.tum.de flight

Refinement-based Verification of Imperative, Data Structures (2016)

8 years ago in.tum.de

The Little PDF Manual of API Design

9 years ago in.tum.de api pdf

Show HN: ACM Programming Contest – Optimistic Concurrency Control

10 years ago db.in.tum.de concurrency show

Game tree search on parallel systems (1993) [pdf]

10 years ago lrr.in.tum.de game pdf

SPKI: Simple Public Key Infrastructure (2013) [pdf]

11 years ago net.in.tum.de pdf