Hacker News
- Memory Renaming: Fast and Accurate Processing of Memory Communication (1999) [pdf] https://web.eecs.umich.edu/~taustin/papers/IJPP-mren.pdf 8 comments
- The Power of 10: Rules for Developing Safety-Critical Code [pdf] http://web.eecs.umich.edu/~imarkov/10rules.pdf 43 comments
- A Decade of Lattice Cryptography (2016) [pdf] http://web.eecs.umich.edu/~cpeikert/pubs/lattice-survey.pdf 2 comments
- Morpheus: A Vulnerability-Tolerant Secure Architecture [pdf] https://web.eecs.umich.edu/~barisk/public/morpheus.pdf 20 comments
- Language Support for Memory Persistency [pdf] http://web.eecs.umich.edu/~vgogte/kolli-top-picks-19.pdf 4 comments
- Why don't I take military funding? (2004) http://web.eecs.umich.edu/~kuipers/opinions/no-military-funding.html 121 comments
- Alchemy: A Language and Compiler for Homomorphic Encryption Made Easy [pdf] http://web.eecs.umich.edu/~cpeikert/pubs/alchemy.pdf 7 comments
- A Decade of Lattice Cryptography (2016) [pdf] http://web.eecs.umich.edu/~cpeikert/pubs/lattice-survey.pdf 3 comments
- Why don't I take military funding? (2004) https://web.eecs.umich.edu/~kuipers/opinions/no-military-funding.html 116 comments
- Off-Path TCP Sequence Number Inference Attack http://web.eecs.umich.edu/~zhiyunq/tcp_sequence_number_inference/ 5 comments
Lobsters
- Alchemy: A Language and Compiler for Homomorphic Encryption Made easY http://web.eecs.umich.edu/~cpeikert/pubs/alchemy.pdf 3 comments cryptography , distributed , pdf , plt
- NASA JPL’s rules for safety-critical C code http://web.eecs.umich.edu/~imarkov/10rules.pdf 20 comments programming
- [PDF] Alchemy -- Haskell EDSL for Fully Homomorphic Encryption http://web.eecs.umich.edu/~cpeikert/pubs/alchemy.pdf 6 comments haskell
- A Light Introduction to Random Matrix Theory? http://web.eecs.umich.edu/~rajnrao/Acta05rmt.pdf 5 comments math
- OpenGL, OpenGL|ES, WebGL, GLSL, GLSL|ES API Tables http://web.eecs.umich.edu/~sugih/courses/eecs487/common/notes/apitables.xml 12 comments programming