Michael Weber: Random Bits and Pieces

If we knew what it was we were doing, it would not be called research, would it?

Albert Einstein

Proof-carrying Code

2005-08-29 :: /science

Overview over Proof-carrying Code research. A bit dated by now, but otherwise might prove (hah!) helpful one day.

Root :: science :: { publications }