The Software Systems Laboratory developed Spoq, a tool that significantly reduces the time and manual effort needed to verify software systems.
CS researchers demonstrate the first formally verified Arm Confidential Compute Architecture prototype
Professor Jason Nieh is one of 26 awardees that will have access to more than 250 Amazon public datasets and can utilize AWS AI/ML services and tools. Each award is intended to support the work of one to two graduate students or postdoctoral students for one year, under the supervision of a faculty member.
Professors Jason Nieh and Ronghui Gu build the first system to guarantee the security of virtual machines in the cloud, SeKVM could transform how cloud services are designed, developed, deployed, and trusted.
Jason Nieh has been named a Guggenheim Fellow for this year. Guggenheim Fellowships are intended for individuals who have already demonstrated exceptional capacity for productive scholarship or exceptional creative ability in the arts.
The M2 system integrates cameras, displays, microphones, speakers, sensors, and GPS to improve audio conferencing, media recording, and Wii-like gaming, and allow greater access for disabled users
Columbia Engineering researchers develop Easy Email Encryption, an app that encrypts all saved emails to prevent hacks and leaks, is easy to install and use, and works with popular email services such as Gmail, Yahoo, etc.