Doguhan Gümüsoglu

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Security Systems

Intrusion Detection

Hardware Architectures

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Shuwen Deng, Doguhan Gümüsoglu, Wenjie Xiong, Sercan Sari, Y. Serhan Gener, Corine Lu, Onur Demir, Jakub Szefer
SecChisel Framework for Security Verification of Secure Processor Architectures. HASP@ISCA (2019)
Shuwen Deng, Doguhan Gümüsoglu, Wenjie Xiong, Y. Serhan Gener, Onur Demir, Jakub Szefer
SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures. IACR Cryptol. ePrint Arch. 2017 (2017)