towards optimization-safe systems: analyzing the impact of undefined behavior xi wang, nickolai...

Download Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama MIT

If you can't read please download the document

Upload: abigail-russell

Post on 31-Dec-2015

212 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

6.894: Distributed Operating System Engineering Lecturers: Frans Kaashoek ([email protected])[email protected] Robert Morris ([email protected])[email protected]

Zeldovich-Sakharov program at RATAN-600

Efficient Patch-based Auditing for Web Application ... · Efficient Patch-based Auditing for Web Application Vulnerabilities Taesoo Kim, Ramesh Chandra, Nickolai Zeldovich ... Idea

Notary: A Device for Secure Transaction Approval - anish.iososp19-slides.pdf · Anish Athalye, Adam Belay, Frans Kaashoek, Robert Morris, Nickolai Zeldovich Created Date: 10/28/2019

Undefined Behavior What happened to my code? Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, Frans Kaashoek MIT CSAILTsinghua IIIS

L3: Naming systems Frans Kaashoek 6.033 Spring 2007

Zeldovich-100 Meetinginfo.tuwien.ac.at/kalashnikov/booklet.pdf · Zeldovich-100 Meeting Subatomicparticles,Nucleons,Atoms, Universe: ProcessesandStructure International conference

A systems approach to teaching computer systems Jerry Saltzer and Frans Kaashoek {Saltzer, kaashoek}@mit.edu Massachusetts Institute of Technology

Cerfying a Crash-safe File System a Crash-safe File System Nickolai Zeldovich Collaborators: Tej Chajed, Haogang Chen, Alex Konradi, ... Researches in avoiding bugs in ﬁle systems

PC hardware and x86 3/3/08 Frans Kaashoek MIT [email protected]

Michael Dalton, Christos Kozyrakis, and Nickolai Zeldovich MIT, Stanford University USENIX 09’ Nemesis: Preventing Authentication & Access Control Vulnerabilities

CryptDB: A Practical Encrypted Relational DBMS Raluca Ada Popa, Nickolai Zeldovich, and Hari Balakrishnan MIT CSAIL New England Database Summit 2011

FAREWELL RECEPTION FOR FR. JOHN NICKOLAI in the Cafeteria

CryptDB: Confidentiality for Database Applications with Encrypted Query Processing Raluca Ada Popa, Catherine Redfield, Nickolai Zeldovich, and Hari Balakrishnan

Computer security: certification Frans Kaashoek 6.033 Spring 2007

DISTRIBUTED HASH TABLES Building large-scale, robust distributed applications Frans Kaashoek [email protected] Joint work with: H. Balakrishnan, P

Improving Integer Security for Systems with KINT Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, Frans Kaashoek MIT CSAIL Tsinghua IIIS

Securing distributed systems with information flow …people.csail.mit.edu/nickolai/papers/nsdi2008-dstar...Securing distributed systems with information flow control Nickolai Zeldovich

CryptDB: Protecting Confidentiality with Encrypted Query Processing by Raluca Ada Popa Catherine M. S. Redfield Nickolai Zeldovich Hari Balakrishnan MIT

Exokernel – Engler, Kaashoek etc.… “Mechanism is policy”

Retroactive Auditing Xi Wang Nickolai Zeldovich Frans Kaashoek MIT CSAIL

Karaoke: Distributed Private Messaging Immune to Passive … · Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis David Lazar, Yossi Gilad, and Nickolai Zeldovich

Algorand: Scaling Byzantine Agreements for … Scaling Byzantine Agreements for Cryptocurrencies Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich MIT CSAIL

6.828: PC hardware and x86 Frans Kaashoek [email protected]

CBI Observations of the Sunyaev-Zeldovich Effect

Ya. B. Zeldovich All-Moscow Seminar of Astrophysicists

Entfernungsbestimmung im Kosmos - astro.uni-bonn.dewucknitz/download/2004entfernungen1_pres.pdf · 9.1 Sunyaev-Zeldovich (SZ) -Eﬀekt • Vorgeschlagen von Sunyaev und Zeldovich

The Sunyaev-Zeldovich Effect with ALMA Band 1

Secure In-Band Wireless Pairing Shyamnath Gollakota Nabeel Ahmed Nickolai Zeldovich Dina Katabi

Zeldovich Novikov,Stars.and.Relativity1971

A Trigger-Based Middleware Cache for ORMspeople.csail.mit.edu/nickolai/papers/gupta-cachegenie.pdf · A Trigger-Based Middleware Cache for ORMs Priya Guptay, Nickolai Zeldovich, and

Securing Untrustworthy Software Using … Untrustworthy Software Using Information Flow Control Nickolai Zeldovich Joint work with Silas Boyd-Wickizer, Eddie Kohler, David Mazières

Monomi: Practical Analytical Query Processing over Encrypted Data Stephen Tu, M. Frans Kaashoek, Samuel Madden, Nickolai Zeldovich MIT CSAIL

Hare: a file system for non-cache-coherent multicoresHare: a file system for non-cache-coherent multicores Charles Gruenwald III, Filippo Sironi, M. Frans Kaashoek, and Nickolai Zeldovich

Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala