The Systems Security Reading Group at MIT CSAIL conducts discussions on systems security and applied cryptography. Members come from a variety of groups within systems and theory, both from MIT and nearby institutions.
When: 4pm on Mondays
Where: 32-G575, MIT
| Date | Topic | Discussion Leaders | Description |
| 04/12/19 | Tutorial of recent crypto advances for systems people | Emily, David, Marten, Raluca | Some of us will present a high level tutorial of recent advances in cryptography applicable to systems (what exists? what is it for?) and give some hints of where they can be applied. We'll cover many topics including short signatures, attribute-based encryption, identity-based encryption, homomorphic encryption, proxy re-encryption, ecash, hidden vector encryption, zero knowledge, proofs of knowledge, private information retrieval, and others. |
| 04/05/19 | Secure delegation of computation | Marten, Guest: Craig Gentry | We will discuss Craig's cryptographic breakthrough and its implications to cloud security as well as the general problem of securely delegating computation to the cloud. Paper and details are here. |
| 03/29/2010 | Program binary obfuscation | Taesoo | The importance of program obfuscation goes without saying. We will discuss Binary obfuscation using signals. Taesoo will present an overview of the paper and then some of his research ideas to improve binary obfuscation. However, cryptographic results show that it is impossible to obfuscate programs. Is there a way to come close to this goal by making the adversary's job harder? This is an example where crypto knowledge and systems mechanisms work together. |
| 03/22/2010 | Spring break | No meeting. | |
| 03/15/2010 | Discussion of the paper Vanish: Enhancing the Privacy of the Web with Self-Destructing Data | Eugene | Vanish aims to ensure destruction of private data after some timeout. Is it possible to provide data destruction/deletion guarantees? (Some researchers from Princeton/UTexas/Michigan apparently found a vulnerability in Vanish and called their attack unVanish. Vanish's authors wrote a reply paper attempting to fix various DHT vulnerabilities including those exploited by unVanish.) |
| 03/08/2010 | First meeting | Raluca | Around the table introduction and discussion of the paper Spamalytics: An Empirical Analysis of Spam Marketing Conversion |