The new Shen Fund for Social Impact will enable students to pursue engineering projects that could benefit society by using technology in innovative ways. Read more about By land and air, students to detect crop diseases with tech
Andrew Ferraiuolo receives ECE Outstanding Thesis Research Award
"I am particularly excited about Andrew's work because it shows how we can build a practical microprocessor with strong formal assurance for information flow security," said his advisor, G. Edward Suh.
The School of Electrical and Computer Engineering is pleased to announce Andrew Ferraiuolo as the 2018 ECE Outstanding Thesis Research Award. Ferraiuolo is an advisee of Associate Professor G. Edward Suh.
Ferraiuolo’s thesis enables future hardware designs to provide formal security guarantees through information flow control. His work is focused on developing a practical, expressive hardware description language for enforcing information flow control in hardware designs and in designing secure hardware architecture suitable for information flow verification.
“Developing secure processors has become increasingly important,” says Ferraiuolo. “The promise of recent commercial security architectures such as Intel SGX is compelling because the system remains secure even if low-level software such as the operating system is compromised.”
Unfortunately, hardware is itself complex and error-prone, software-exploitable vulnerabilities in SGX have already been found and bugs in hardware have a long history of causing security vulnerabilities. With the advent of cyber-physical systems and self-driving cars, hardware vulnerabilities can present life-threatening risks. There is a need for tools that produce hardware that is secure by construction and that provide formal guarantees.
"We are increasingly relying on computing systems to handle sensitive information and control safety-critical operations,” said Suh. “Yet, how to build a secure computing system that we can truly trust remains an open question. I am particularly excited about Andrew's work because it shows how we can build a practical microprocessor with strong formal assurance for information flow security. This verifiably secure processor provides a dependable hardware foundation for building secure computing systems that can be trusted for critical tasks."
Ferraiuolo received Bachelors of Science degrees in Computer Engineering and Electrical Engineering (Magna Cum Laude) from the University of Connecticut in 2012. Shortly afterwards, he began the PhD program in the department of Electrical and Computer Engineering at Cornell University where he is advised by G. Edward Suh. He has interned with Microsoft Research Labs in Redmond, Washington. His research lies at the intersection of computer security, computer architecture, and programming languages.
Other Articles of Interest
Cornell University's School of Electrical and Computer Engineering (ECE) is pleased to announce Professor Vikram Krishnamurthy’s move to the Ithaca Campus from Cornell Tech. Krishnamurthy will... Read more about Vikram Krishnamurthy moves to Ithaca Campus
Cornell University's School of Electrical and Computer Engineering (ECE) is pleased to announce Assistant Professor Christoph Studer’s move to Cornell Tech for a two-year term starting July 1, 2019.... Read more about Christoph Studer moves to Cornell Tech