summaryrefslogtreecommitdiff
path: root/pelican/content/MiscStuff.md
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2021-05-09 23:45:48 +0000
committerRob Austein <sra@hactrn.net>2021-05-09 23:45:48 +0000
commit78b3ed35c726cf8ef0ec4c4e7753e6f4775b9001 (patch)
treec0807af26f39d382e0472ed9cef26322d3b1b56a /pelican/content/MiscStuff.md
parent96f8ab4641056020192175c0a02c562e8113dbd7 (diff)
Finally get hanging text in lists mostly right
Diffstat (limited to 'pelican/content/MiscStuff.md')
-rw-r--r--pelican/content/MiscStuff.md2
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/)