« earlier | later » Page 1 of 2
Why King George III Can Encrypt
Coming up with better metaphors for how PGP signing and encryption works, and then *actually evaluating how effective they are with users*. The short answer: key/lock, seal/imprint. And tell a story about them.
to cryptography encryption gpg metaphors papers pgp security teaching ... on 18 January 2015
Generating randomly-varied certificates and comparing how different implementations respond to them.
to ca certificate papers security ssl testing tls ... on 13 April 2014
How to Make Zuse's Z3 a Universal Computer
As it says -- bearing in mind that the Z3 was effectively a four-function calculator with an instruction tape, this is an interesting proof.
to computation maths papers retrocomputing z3 zuse ... on 12 March 2012
Includes a variety of splendid publications on floating-point maths and how it's implemented. Worth referring to for occam-pi's maths implementation.
to compiler floating-point maths papers research ... on 13 December 2007
Some concurrency-related papers, including "Non-interference for concurrent programs".
to concurrency papers research ... on 03 November 2007
... going back to 1959. Some very interesting reading here.
to ai compiler papers research retrocomputing ... on 02 June 2006
The systems conference Fred went to; some Singularity-related stuff.
Computer Laboratory - Technical Report UCAM-CL-TR-453
"C formalised in HOL"
The "Bug" Heard Round The World
Tracking down a subtle bug in the Space Shuttle control system -- and a plea to development system designers.
to engineering failure papers research software ... on 03 August 2005
« earlier | later » Page 1 of 2
| - papers | |
| 1 | ai |
| 1 | bsp |
| 1 | ca |
| 1 | certificate |
| 2 | compiler |
| 1 | computation |
| 1 | concurrency |
| 1 | concurrent |
| 1 | cryptography |
| 1 | drivers |
| 1 | encryption |
| 1 | engineering |
| 1 | failure |
| 1 | floating-point |
| 1 | gpg |
| 2 | maths |
| 1 | metaphors |
| 1 | os |
| 12 | papers |
| 1 | pgp |
| 1 | programming |
| 9 | research |
| 2 | retrocomputing |
| 2 | security |
| 1 | software |
| 1 | ssl |
| 1 | systems |
| 1 | teaching |
| 1 | testing |
| 1 | tls |
| 1 | z3 |
| 1 | zuse |
tasty by Adam Sampson.