people.csail.mit.edu: 32 stories from 24 submitters

  1. 4
    PACMAN: Attacking ARM Pointer Authentication with Speculative Execution pdf security people.csail.mit.edu
    lattera avatar via lattera 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  2. 13
    On relational compilation compilers formalmethods plt people.csail.mit.edu
    brendan avatar via brendan 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  3. 18
    Design and Implementation of a 256-Core BrainFuck Computer pdf hardware programming people.csail.mit.edu
    imode avatar via imode 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 9
    Going from Bad to Worse: From Internet Voting to Blockchain Voting ☶ pdf cryptography security people.csail.mit.edu
    mjec avatar via mjec 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 2
    Automated lost language deciphering using Phonetic Prior pdf ai people.csail.mit.edu
    inactive-user avatar via inactive-user 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 8
    The SIEUFERD Project databases people.csail.mit.edu
    alexkorban avatar via alexkorban 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 21
    Introduction to Program Synthesis education plt people.csail.mit.edu
    zxtx avatar via zxtx 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 7
    Advanced Scheme: Some Naughty Bits education lisp people.csail.mit.edu
    zge avatar via zge 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 2
    Safecracker: Leaking Secrets through Compressed Caches pdf security people.csail.mit.edu
    fro avatar via fro 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 5
    Systems for Collective Human Curation of Online Discussion pdf culture web people.csail.mit.edu
    enkiv2 avatar via enkiv2 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 5
    Sound and Robust Solid Modeling via Exact Real Arithmetic and Continuity ☶ pdf formalmethods hardware plt people.csail.mit.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  12. 5
    Kendo: Efficient, Deterministic Multithreading in Software (2009) ☶ pdf c c++ compsci linux people.csail.mit.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 2
    Configuration Synthesis for Programmable Analog Devices with Arco pdf compilers hardware people.csail.mit.edu
    Forty-Bot avatar via Forty-Bot 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 3
    DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors pdf security people.csail.mit.edu
    fro avatar via fro 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 7
    Algebra and the Lambda Calculus math programming people.csail.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 8
    Log(Graph): A Near-Optimal High-Performance Graph Representation ☶ pdf compsci performance programming people.csail.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  17. 2
    Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement ☶ pdf programming people.csail.mit.edu
    fcbsd avatar via fcbsd 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 3
    Algorand: Scaling Byzantine Agreements for Cryptocurrencies (2017) ☶ pdf merkle-trees people.csail.mit.edu
    atondwal avatar via atondwal 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 6
    Speculative Buffer Overflows: Attacks and Defenses pdf security people.csail.mit.edu
    lattera avatar via lattera 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 5
    A Brief Introduction to Adversarial Examples ai people.csail.mit.edu
    mjn avatar via mjn 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 7
    The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors pdf scaling people.csail.mit.edu
    jtfmumm avatar via jtfmumm 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 7
    Give in to Procrastination and Stop Prefetching pdf networking programming people.csail.mit.edu
    beyang avatar via beyang 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  23. 6
    Systematic Synthesis of Elliptic Curve Cryptography Implementations ☶ pdf assembly cryptography people.csail.mit.edu
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  24. 4
    How to Design (Declarative) Programming Languages [2003] compilers programming people.csail.mit.edu
    sebastien avatar via sebastien 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 15
    50,000,000,000 Instructions Per Second: Design and Implementation of a 256-Core BrainFuck Computer pdf assembly hardware people.csail.mit.edu
    calvin avatar via calvin 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>