Doguhan Gümüsoglu

According to our database, Doguhan Gümüsoglu authored at least 2 papers between 2017 and 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

2017

SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures.

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

IACR Cryptol. ePrint Arch., 2017