Workshop Arrangement

• Date: March 6, 2024.
• Venue: Room 001, A6 Building, New York University Abu Dhabi campus
• Accommodation: The ACNS conference will provide transportation from and to these hotels from the NYU Abu Dhabi campus.
• Schedule:
• Opening Remarks (9:30-9:40, UTC+4)
• Keynote (9:40-10:40, UTC+4): Searchable Symmetric Encryption and Its Attacks, by Dr. Kaitai Liang
• Session 1 (10:50-11:40, UTC+4): Implementation of symmetric algorithms
• Automated Generation of Masked Nonlinear Components: From Lookup Tables to Private Circuits
• Pushing AES-256-GCM to Limits: Design, Implementation and Real FPGA Tests
• Session 2 (11:50-12:40, UTC+4): Side-channel attack and defense
• Cross-Correlation Based Trace Segmentation for Clustering Power Analysis on Public Key Cryptosystems
• A Command-Activated Hardware Trojan Detection Method Based on LUNAR Framework
• Session 3 (14:00-14:50, UTC+4): Application of pubic-key algorithms
• Fully Hybrid TLSv1.3 in WolfSSL on Cortex-M4
• Towards Discovering Quantum-Threats for Applications using Open-Source Libraries

---

Keynote Speech

Title: Searchable Symmetric Encryption and Its Attacks.

Abstract: Searchable Symmetric Encryption (SSE) represents an intriguing technique that empowers users to delegate keyword searches over encrypted databases to an honest-but-curious server. The primary goal is to uphold the confidentiality of both the keywords and the encrypted documents. A comprehensive understanding of SSE entails navigating through the intricacies of how it facilitates secure and privacy-preserving searches within the realm of encrypted data. In this talk, we will embark on a detailed exploration of SSE's underlying concepts, mechanisms, and the intricate security notions that serve as the foundation for this cryptographic technique. Acknowledging that no cryptographic protocol is impervious to vulnerabilities, the discussion will delve into an examination of current attacks on SSE. This aims to deepen comprehension of the strengths and limitations inherent in SSE, a critical aspect for its ongoing development and effective deployment in real-world applications. At last, the talk will shed light on some of the open challenges associated with SSE.

Speaker: Dr. Kaitai Liang is a tenured faculty member in the Cybersecurity group at Delft University of Technology. His research, featured in esteemed international information security journals and conferences like USENIX Security, NDSS, ESORICS (with a best research paper award), IEEE TIFS, and IEEE TDSC, addresses cybersecurity challenges using information security and cryptographic tools. As a principal investigator in various EU funded projects, he has demonstrated real-world security impact through collaborations with academic and industrial partners. Dr. Liang has served TPC member, General Chair, and Steering Committee for international security and privacy conferences, e.g., IEEE Euro S&P, ESORICS, IEEE CSF, and PoPETs, and an Associate Editor for international journals such as the Computer Journal, IEEE Transactions on Artificial Intelligence, and the EURASIP Journal on Information Security. He has also contributed to ISO standards as a member of the standards committee 381027 "Cybersecurity & Privacy" at NEN.

---

Accepted Papers

• #1 - Automated Generation of Masked Nonlinear Components: From Lookup Tables to Private Circuits
• #2 - Pushing AES-256-GCM to Limits: Design, Implementation and Real FPGA Tests
• #3 - Cross-Correlation Based Trace Segmentation for Clustering Power Analysis on Public Key Cryptosystems
• #4 - Fully Hybrid TLSv1.3 in WolfSSL on Cortex-M4
• #5 - A Command-Activated Hardware Trojan Detection Method Based on LUNAR Framework

Conditionally Accepted Papers

• #1 - Towards Discovering Quantum-Threats for Applications using Open-Source Libraries
• #2 - Analysis of Remote Attestation Mechanism for Heterogeneous TEEs

Note: Each accepted workshop paper needs one registration at full rate before (January 25th) and in-person presentation. Please refer to ACNS 2024 registration link to finish this process.

• Secure implementations of crypto algorithms & protocols
• Fuzzing and vulnerabilities of crypto algorithms & protocols
• Measurement of cryptographic solutions in the wild, defective or updated
• Designs of random bit generators
• Weak cryptographic keys and defective random bit generators
• Side channel attacks and defenses
• Cryptographic key protections and memory attacks
• PKI certificate services and key management
• HTTPS/TLS vulnerabilities and attacks
• Measurement and bugs of certificate-based solutions
• Audit and monitoring of cryptographic services
• Physical attacks and defenses of cryptographic implementation
• Verification and evaluation of cryptographic implementation
• High-performance cryptographic engines
• Cryptographic hardware
• Cryptography for Blockchain
• Cryptography for IoT/CPS
• Cryptography for the Cloud
• Cryptography for Mobile systems
• Cryptography for VANET

• Sebastian Berndt University of Lübeck, Germany
• Florian Caullery HENSOLDT Cyber GmbH, Germany
• Bo Chen Michigan Technological University, USA
• Jiankuo Dong Nanjing University of Posts and Telecommunications, China
• Haixin Duan Tsinghua University, China
• Shanqing Guo Shandong University, China
• Honggang Hu University of Science and Technology of China, China
• Shijie Jia Chinese Academy of Sciences, China
• Rongxing Lu University of New Brunswick, Canada
• Bingyu Li Beihang University, China
• Fengjun Li University of Kansas, USA
• Ximeng Liu Fuzhou University, China
• Chunli Lv China Agricultural University, China
• Qiang Tang The University of Sydney, Australia
• Sazzadur Rahaman University of Arizona, USA
• Kui Ren Zhejiang University, China
• Ruisheng Shi Beijing University of Posts and Telecommunications, China
• Shifeng Sun Shanghai Jiao Tong University, China
• An Wang Beijing Institute of Technology, China
• Ding Wang Nankai University, China
• Juan Wang Wuhan University, China
• Fangyu Zheng Chinese Academy of Sciences, China
• Cong Zuo Beijing Institute of Technology, China