New Tool Automates the Formal Verification of Systems Software
The Software Systems Laboratory developed Spoq, a tool that significantly reduces the time and manual effort needed to verify software systems.
Tag: jason nieh
New Computing Architecture Protects Sensitive Private Data
CS researchers demonstrate the first formally verified Arm Confidential Compute Architecture prototype
Spring 2021 Amazon Research Awards recipients announced
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.
SeKVM Makes Cloud Computing Provably Secure
Columbia Engineering Team Builds First Hacker-resistant Cloud Software System
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 Named 2021 Guggenheim Fellow
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.
Multi-mobile (M2) Computing System Makes Android and iOS Apps Sharable on Multiple Devices
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
New App Can Secure All Your Saved Emails
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.
Add to GMail