Domain Specific High-Level Synthesis for Cryptographic Workloads
暫譯: 針對加密工作負載的領域特定高階合成

本書深入研究了一種針對特定類別的加密核心（即對稱密鑰加密）的高階綜合工具所面臨的設計與挑戰。藉由詳細的案例研究，本書還討論了CRYKET（加密核心工具包）無法自動執行的優化策略。加密技術的動態特性使得新的加密函數和攻擊方式不斷出現，因此這樣的工具可以幫助加密專家加速超大規模集成（VLSI）設計週期，通過快速探索各種設計選擇來達成最佳設計選項。本書的特點包括：加密處理器的靈活性以支持新興的密碼分析方案；支持各種加密功能的區域高效多國設計；以及在現代圖形處理單元（GPU）上的設計可擴展性。這些案例研究為探索高效加密實現設計的加密專家提供了指導。

Ayesha Khalid completed her B.E. in Computer Systems Engineering from National University of Sciences and Technology (NUST), Pakistan. She did her M.S. in Electrical Engineering from Center for Advanced Studies in Engineering (CASE), affiliated with University of Engineering and Technology, UET-Taxila, Pakistan. From 2000 to 2010, she served as a Lecturer in the Department of Electrical Engineering at Muhammad Ali
Jinnah University, Islamabad and later joined RWTH Aachen, Germany as a Research Associate for her doctoral studies. She is the recipient of DAAD scholarship award for Ph.D. Her dissertation focuses on the identification, characterization and exploitation of representative cryptographic operations/ structures for a whole class of cryptography, enabling high-level synthesis of cryptographic proposals. Currently, she is working as a Research Fellow at Queens University Belfast (QUB) in the SAFECrypto project.

Goutam Paul completed his undergraduate in Computer Engineering in 2001 from Bengal Engineering College (Deemed University), now Indian Institute of Engineering Science and Technology (IIEST), Shibpur, Howrah, India; Master degree in Computer Science in 2003 from State University of New York (SUNY) at Albany, U.S.A.; and Ph.D. in Cryptology in 2009 from Indian Statistical Institute, Kolkata (degree awarded from Jadavpur University, Kolkata, India).From 2006 to 2013, he was an Assistant Professor in the Department of Computer Science and Engineering of Jadavpur University and during 2012-2013, he visited RWTH Aachen, Germany as a Humboldt Fellow. From August 2013, Goutam Paul has been serving the R. C. Bose Centre for Cryptology and Security of Indian Statistical Institute, Kolkata, as an Assistant Professor. He also received the Young Scientist Award from the National Academy of Sciences, India (NASI) in 2013. His doctoral research focussed on the analysis of RC4, the then most popular and most widely commercially deployed software stream cipher and also the then standard encryption tool for IEEE WiFi protocol; and his work revealed many critical weaknesses of the cipher and initiated a chain of subsequent research by others in this area. Later he also worked on the analysis of other stream ciphers like HC-128, Grain-v1, Salsa20. Recently, he has taken up keen interest in efficient hardware design of cryptographic primitives and in the analysis of BB84-like quantum key distribution protocols. Goutam Paul is the author of one book and more than 60 papers in peer-reviewed international journals and conferences. He regularly serves as the TPC member of many top conferences, reviewer of many premier journals and presents invited seminars in internationally acclaimed venues. He is a member of ACM and a senior member of IEEE.

Anupam Chattopadhyay received his B.E. degree from Jadavpur University, India in 2000. He received his MSc. from ALaRI, Switzerland and PhD from RWTH Aachen in 2002 and 2008 respectively. From 2008 to 2009, he worked as a Member of Consulting Staff in CoWare R&D, Noida, India. From 2010 to 2014, he led the MPSoC Architectures Research Group in RWTH Aachen, Germany as a Junior Professor. Since September, 2014, he is appointed as an assistant Professor in SCE, NTU. During his PhD, he worked on automatic RTL generation from the architecture description language LISA, which was commercialized later by a leading EDA vendor. He developed several high-level optimizations and verification flow for embedded processors. In his doctoral thesis, he proposed a language-based modeling, exploration and implementation framework for partially re-configurable processors. Together with his doctoral students, he proposed domain-specific high-level synthesis for cryptography, high-level reliability estimation flows, generalization of classic linear algebra kernels and a novel multi-layered coarse-grained reconfigurable architecture. In these areas, he published as a (co)-author over 80 conference/ journal papers, several book-chapters and a book. Anupam served in several TPCs of top conferences, regularly reviews journal/ conference articles and presented multiple invited seminars/tutorials in prestigious venues. He is a member of ACM and a senior member of IEEE.

Ayesha Khalid 完成了巴基斯坦國立科學與技術大學 (NUST) 的計算機系統工程學士學位。她在巴基斯坦工程與技術大學 (UET-Taxila) 附屬的高級工程研究中心 (CASE) 獲得了電機工程碩士學位。從 2000 年到 2010 年，她在伊斯蘭堡的穆罕默德·阿里·真納大學電機工程系擔任講師，之後加入德國亞琛工業大學 (RWTH Aachen) 擔任研究助理進行博士研究。她是 DAAD 獎學金的獲得者，專注於識別、特徵化和利用代表性的加密操作/結構，以支持整個加密類別的高級合成。她目前在貝爾法斯特女王大學 (Queens University Belfast, QUB) 的 SAFECrypto 項目中擔任研究員。

Goutam Paul 於 2001 年在印度西孟加拉邦工程學院（現為印度工程科學與技術學院 IIET）獲得計算機工程學士學位；於 2003 年在美國紐約州立大學 (SUNY) 阿爾巴尼獲得計算機科學碩士學位；並於 2009 年在印度加爾各答的印度統計學院獲得密碼學博士學位（學位由加爾各答的賈達夫普爾大學頒發）。從 2006 年到 2013 年，他在賈達夫普爾大學的計算機科學與工程系擔任助理教授，並於 2012-2013 年作為洪堡學者訪問德國亞琛工業大學。自 2013 年 8 月起，Goutam Paul 在印度統計學院加爾各答的 R. C. Bose 密碼學與安全中心擔任助理教授。他於 2013 年獲得印度國家科學院 (NASI) 的青年科學家獎。他的博士研究專注於對當時最流行且廣泛商業部署的軟體流密碼 RC4 的分析，並揭示了該密碼的許多關鍵弱點，並引發了其他人在該領域的後續研究。後來，他還分析了其他流密碼，如 HC-128、Grain-v1 和 Salsa20。最近，他對加密原語的高效硬體設計以及 BB84 類量子密鑰分發協議的分析產生了濃厚的興趣。Goutam Paul 是一本書的作者，並在同行評審的國際期刊和會議上發表了超過 60 篇論文。他定期擔任多個頂級會議的程序委員會成員，並擔任多個主要期刊的審稿人，並在國際知名的場所進行邀請講座。他是 ACM 的成員，也是 IEEE 的資深會員。

Anupam Chattopadhyay 於 2000 年在印度賈達夫普爾大學獲得工程學士學位。他於 2002 年在瑞士 ALaRI 獲得碩士學位，並於 2008 年在德國亞琛工業大學獲得博士學位。從 2008 年到 2009 年，他在印度諾伊達的 CoWare 研發部門擔任顧問成員。從 2010 年到 2014 年，他在德國亞琛工業大學領導 MPSoC 架構研究小組，擔任助理教授。自 2014 年 9 月起，他被任命為國立台灣大學 (NTU) 電機與資訊工程學系的助理教授。在他的博士研究中，他專注於從架構描述語言 LISA 自動生成 RTL，該技術後來由一家領先的 EDA 廠商商業化。他開發了多個嵌入式處理器的高級優化和驗證流程。在他的博士論文中，他提出了一種基於語言的建模、探索和實現框架，用於部分可重配置處理器。與他的博士生一起，他提出了針對加密的領域特定高級合成、高級可靠性估算流程、經典線性代數內核的泛化以及一種新穎的多層粗粒度可重配置架構。在這些領域，他作為（共同）作者發表了超過 80 篇會議/期刊論文、幾個書章和一本書。Anupam 參與了多個頂級會議的程序委員會，定期審稿期刊/會議文章，並在多個知名場所進行邀請講座/教程。他是 ACM 的成員，也是 IEEE 的資深會員。