Our paper on building a secure autonomous vehicle, titled “Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control”, received the best paper award at this year’s ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC).
Mark Zhao’s paper on remote power side-channel attacks on an FPGA won the Distinguished Practical Paper Award at this year’ IEEE Symposium on Security and Privacy. Congratulations! https://www.ieee-security.org/TC/SP2018/awards.html
Mohamed Ismail’s paper on hardware support for dynamic language gets accepted for publication at the International Symposium on Memory Management
Mohamed’s paper title “Hardware-Software Co-Optimization of Garbage Collection for Efficient Memory Management in Dynamic Languages” at this year’s International Symposium on Memory Management (ISMM). The work shows that the cache performance has a significant impact on the automatic memory management in
Will Hua’s paper on CNN security gets accepted for publication at the Design Automation Conference (DAC)
Will Hua’s paper titled “Reverse Engineering Convolutional Neural Networks Through Side-channel Information Leaks” is accepted for publication at this year’s Design Automation Conference (DAC). His work shows that the structure and the weights of a CNN can be inferred through
Mark Zhao’s paper on FPGA security gets accepted for publication at the IEEE Symposium on Security and Privacy
Mark Zhao’s paper titled “FPGA-Based Remote Power Side-Channel Attacks” is accepted for publication at this year’s IEEE Symposium on Security and Privacy. The paper shows that an FPGA, which is increasingly being integrated into computing systems including cloud services such
Andrew Ferraiuolo received the ECE Outstanding Thesis Research Award, which is given to one PhD student each year. The details can be found in the following ECE announcement. https://www.ece.cornell.edu/news/index.cfm?news_id=96384
The SHIELD project led by Prof. Ed Suh, Prof. Andrew Myers, and Prof. Zhiru Zhang was selected to be a part of the DARPA SSITH program that aims to build secure computing systems from ground up. The project will develop
Andrew Ferraiuolo’s paper titled, “Komodo: Using Verification to Disentangle Secure-Enclave Hardware from Software” is accepted for publication at SOSP 2017. This is the work that Andrew did with Andrew Baumann, Chris Hawblitzel, and Bryan Parno while he was visiting Microsoft Research as
Mulong Luo (from UCSD) will join our research group as a new PhD student. He will initially work on the secure CPS project. Welcome!
Prof. Aaron Wagner, Prof. Ed Suh, and Prof. Negar Kiyavash (UIUC) received an NSF medium grant to study information leaks in computer and communication systems using new information theoretic techniques. The details can be found in the award abstract on