« earlier | later » Page 1 of 2
Why King George III Can Encrypt edit / delete
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
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations edit / delete
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 edit / delete
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
Prof. W. Kahan's web pages edit / delete
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
Gérard Boudol's Home Page edit / delete
Some concurrency-related papers, including "Non-interference for concurrent programs".
to concurrency papers research ... on 03 November 2007
CSAIL Publications edit / delete
... 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.
Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets - Norrish, Sewell, Wansbrough (ResearchIndex) edit / delete
Computer Laboratory - Technical Report UCAM-CL-TR-453 edit / delete
"C formalised in HOL"
The "Bug" Heard Round The World edit / delete
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 |
| 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.