Corine Lu

According to our database, Corine Lu authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

SecChisel Framework for Security Verification of Secure Processor Architectures.

Shuwen Deng, Doguhan Gümüsoglu, Wenjie Xiong, Sercan Sari, Y. Serhan Gener, Corine Lu, Onur Demir, Jakub Szefer

Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, 2019