Recent Submissions

  • Mechanized proofs that hardware is safe from timing attacks 

    Duxovni, Faye(Faye Samara) (Massachusetts Institute of Technology, 2018)
    A recurring problem in cryptography engineering is the potential for secret data to be leaked through aspects of software and hardware that are orthogonal to functional correctness. In particular, much effort is put into ...
  • The digital symbol digit test : screening for Alzheimer's and Parkinson's 

    Huang, Lauren(Lauren A.) (Massachusetts Institute of Technology, 2017)
    Neurodegenerative diseases affect the cognition of millions of people worldwide, degrading their quality of life and placing a burden on their families. Early identication can be extremely beneficial in treating or slowing ...
  • Approximate state estimation. 

    Masiello, Ralph D.(Ralph David) (Massachusetts Institute of Technology, 1969)

View more