diff options
Diffstat (limited to 'pelican/content/MiscStuff.md')
-rw-r--r-- | pelican/content/MiscStuff.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pelican/content/MiscStuff.md b/pelican/content/MiscStuff.md index b4d3038..dd034f9 100644 --- a/pelican/content/MiscStuff.md +++ b/pelican/content/MiscStuff.md @@ -27,9 +27,7 @@ Advisory board, reviewers etc. * [Remote timing attacks are practical](https://crypto.stanford.edu/~dabo/pubs/abstracts/ssl-timing.html), D. Boneh and D. Brumley. * [Common Critiera Security Target for the AEP Keyper](http://www.cybersecurity.my/mycc/document/mycpr/C037/AEP_Keyper_EAL4_ASE_1.3.pdf) * [Cryptographic hardware: how to make it cool, fast and unbreakable](https://www.cosic.esat.kuleuven.be/ches2012/tutorials.shtml), - Junfeng Fan, KU Leuven - * [REC FPGA Seminar IAP 1998](http://web.mit.edu/bunnie/www/xi/rec.html), Bunnie Huang * [the formal verification of realistic compilers usable for critical embedded software](http://compcert.inria.fr/) |