Research
Labs
Areas
-
Cybersecurity
We study algorithms and systems that protect the security and integrity of computer systems, the information they store, and the people who use them.
-
A record number of Fellow selections from any single institution marks the election by the Association of Computing Machinery (ACM) of five CSAIL researchers and members of the MIT Electrical Engineering and Computer Science Department to ACM 2014 Fellow. The ACM has cited Srini Devadas, Eric Grimson, Robert Morris, Ronitt Rubinfeld and Daniela Rus for "providing key knowledge" to computing. -
Adam Chilpala, principal investigator in the Computer Science and Artificial Intelligence Lab (CSAIL) and the Douglas Ross Career Development Professor of Software Technology has developed a new programming language called Ur/Web that promises to take the drudgery out of Web development. Read more. -
A new cybersecurity center made possible by the William and Flora Hewlett Foundation will focus on cyber security policy -- one of three new academic initiatives (also at Stanford and UC Berkeley) aimed at laying the foundations for smart, sustainable policy to deal with the growing global cyber threats. Read more. -
At this year’s Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) conference, EECS faculty member Martin Rinard and several students from his group in MIT’s Computer Science and Artificial Intelligence Laboratory presented a new system that lets programmers identify sections of their code that can tolerate inconsequential error. The system, dubbed Chisel, then determines which program instructions to assign to unreliable hardware components, to maximize energy savings yet still meet the programmers’ accuracy requirements. Read more. -
Professor Muriel Medard working with EECS graduate student Flavio du Pin Calmon and researchers from Maynooth University in Ireland have shown that since existing practical cryptographic schemes demonstrate elements of information-theoretic security thereby preventing extraction of some of their data — it is possible to calculate minimum-security guarantees for any given encryption scheme — enabling information managers to make more informed decisions about how to protect data. Read more. -
MIT's Computer Science and Artificial Intelligence Lab (CSAIL) held a two day conference celebrating 50 years of computer science looking forward to the future with solutions for today's obstacles and tomorrow's solutions. Read more. -
Dina Katabi has been selected for the Andrew (1956) and Erna Viterbi Professor of Electrical Engineering and Computer Science at MIT. In announcing this appointment, Department Head Anantha Chandraksan shared the following message with his colleagues in the EECS Department. Read more. -
Today, March 12, 2014, marks the 25th anniversary of Tim Berners-Lee's proposal for managing general information about accelerators and experiments at CERN, the European Organization for Nuclear Research based in Geneva where Berners-Lee worked at the time as a software engineer. He proposed building a distributed (global) hypertext system which he initially called "Mesh" updating it a year later to the "World Wide Web" as he wrote the code. Read more. -
CSAIL Principal Investigator Srini Devadas and three former students have been selected as the 2014 winners of the Most Influential Paper Award at a prestigious systems research conference. Read more.
-
Prof. Dina Katabi, principal investigator in the Computer Science and Artificial Intelligence Lab at MIT working with members of her research group has developed a 3-D motion tracking system that has potential for gaming and far more. Read more in the CSAIL Dec. 12, 2013 article -
EECS Department Head Anantha Chandrakasan announced today the appointment of Ron Rivest as the new holder of the Vannevar Bush Professorship. The Bush Chair is an Institute-wide professorship established in 1982 as a memorial to one of the outstanding scientists and engineers of the twentieth century. -
MIT EECS faculty members in the Computer Science and Artificial Intelligence Lab CSAIL Frans Kaashoek, Nickolai Zeldovich and Armando Solar-Lezama along with EECS graduate student Xi Wang have created a system they call Stack which will automatically scan programmer's code to avoid compilers from tossing bits of code that might not appear essential. Read more. -
Dina Katabi, professor in the MIT EECS Department, principal investigator in the Computer Science and Artificial Intelligence Lab (CSAIL) and co-director of Wireless@MIT has been selected as a 2013 MacArthur Fellow. She is cited by the MacArthur Fellows Program for her work "at the interface of computer science and electrical engineering to improve the speed, reliability, and security of data exchange. Katabi has contributed to a range of networking issues, from protocols to minimize congestion in high-bandwidth networks to algorithms for spectrum analysis, though most of her work centers on wireless data transmission." -
EECS graduate students Alessandro Chiesa and Madars Virza have teamed to develop a new system which can detect tampering in the cloud. The team presented their system, which is described as a practical, succinct zero-knowledge proof for arbitrary programs, at the International Cryptology Conference in August. Read more -
Researchers from CSAIL and Center for Wireless Networks and Mobile Computing have developed a TCP congestion-control system called Remy, which they will present at the annual conference of the Association for Computing Machinery’s Special Interest Group on Data Communications. Hari Balakrishnan, the Fujitsu Professor of Electrical Engineering and Computer Science and EECS graduate student Keith Winstein are the authors of the work titled "TCP ex Machina: Computer-Generated Congestion Control". -
EECS Professors Regina Barzilay and Martin Rinard (and their respective graduate students Nate Kushman and Tao Lei) have demonstrated that ordinary language can be used (in specific cases) to aid in generating code for computer programs. Read more -
Faculty members in the Electrical Engineering and Computer Science Department at MIT are converging on a wide range of research issues through game theory, which used to be a staple of economics research in the 1950s. EECS faculty members Asuman Ozdaglar, Costis Daskalakis, Munther Dahleh, and Silvio Micali discuss their approaches in this Technology Review feature. Read more. -
EECS faculty member Dina Katabi, principal investigator in the Computer Science and Artificial Intelligence Laboratory (CSAIL) and her graduate student Fadel Adib have developed a system (dubbed Wi-Vi) which uses low-cost wireless technology to track moving humans behind walls. -
Srini Devadas, the Edwin Sibley Webster Professor of Electrical Engineering and Computer Science, and members of the Computational Structures Group in the Computer Science and Artificial Intelligence Lab (CSAIL) have developed a new system that not only disguises a server's memory-access patterns, but also prevents attacks that rely on how long computations take. -
EECS faculty members Shafi Goldwasser, and Nickolai Zeldovich, both members of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT, and EECS graduate student Raluca Ada Popa have teamed with colleagues at University of Toronto and Microsoft Research to report a development in the area of homomorphic encryption that offers a functional encryption scheme to maintain security of encrypted data in the cloud. -
Professor Rob Miller is one of four MIT faculty selected as 2013 MacVicar Faculty Fellow for outstanding undergraduate teaching, mentoring and educational innovation. One recommender wrote: “I think Rob embodies the ideal of an MIT teacher — caring, engaging, tirelessly working on behalf of the students, eliciting respect, admiration, and joy from the students.” -
MIT professors Shafi Goldwasser and Silvio Micali have won the Association for Computing Machinery’s (ACM) A.M. Turing Award for their pioneering work in the fields of cryptography and complexity theory. Essentially laying the foundation for modern cryptography by formalizing the concept that cryptographic security had to be computational rather than absolute, the two have turned cryptography from an art into science -- and, in the process provided the basis for securing today's communications protocols, Internet transactions and cloud computing. They also made fundamental advances in the theory of computational complexity, an area that focuses on classifying computational problems according to their inherent difficulty. -
In a paper titled "Ampli fication of Chosen-Ciphertext Security," two CSAIL postdoctoral associates Huijia (Rachel) Lin and Stefano Tessaro, who work with EECS Professor Shafi Goldwasser, have proposed a new technique aimed at protecting against the worst possible scenario in current enryption scheme vulnerabilities. This work will be presented in May this spring at the International Conference on the Theory and Applications of Cryptographic Techniques. -
Anant Agarwal, president of edX, the worldwide, online learning initiative of MIT and Harvard University and professor in the Department of Electrical Engineering and Computer Science at MIT has been elected to the National Academy of Engineering (NAE). He is recognized “for contributions to shared-memory and multicore computer architectures.” -
In an effort to bring a more human dimension to the online education experience, MIT Professor Rob Miller and EECS graduate students Mason Tang and Elena Tatarchenko have developed a new computer system that will help provide students with feedback on their homework assignments and create more interaction between students, teachers, and alumni.
- 1 of 3
- ››
