SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures. - Shuwen Deng; Doguhan Gümüsoglu; Wenjie Xiong 001; Y. Serhan Gener; Onur Demir; Jakub Szefer (IACR Cryptol. ePrint Arch., 2017)

Hardware Division by Small Integer Constants. - H. Fatih Ugurdag; Florent de Dinechin; Y. Serhan Gener; Sezer Gören 001; Laurent-Stéphane Didier (IEEE Trans. Computers, 2017)

SecChisel Framework for Security Verification of Secure Processor Architectures. - Shuwen Deng; Doguhan Gümüsoglu; Wenjie Xiong 001; Sercan Sari; Y. Serhan Gener; Corine Lu; Onur Demir; Jakub Szefer (HASP@ISCA, 2019)

Semi- and Fully-Random Access LUTs for Smooth Functions. - Y. Serhan Gener; Furkan Aydin; Sezer Gören 001; H. Fatih Ugurdag (VLSI-SoC (Selected Papers), 2019)

Lossless Look-Up Table Compression for Hardware Implementation of Transcendental Functions. - Y. Serhan Gener; Sezer Gören 001; H. Fatih Ugurdag (VLSI-SoC, 2019)