ACNS 2023
21st International Conference on Applied Cryptography and Network Security
Kyoto, Japan
| 19-22 June, 2023
Accepted Papers
Regular Papers
| Constant-Round Multiparty Private Function Evaluation With (Quasi-)Linear Complexities Yongfeng Xu, Hanyu Jia, Xiangxue Li, Qiang Li, Yue Bao and Xintian Hou |
| Formal Verification of Arithmetic Masking in Hardware and Software Barbara Gigerl, Robert Primas and Stefan Mangard |
| Robustly Reusable Fuzzy Extractors in a Post-Quantum World Amit Deo and Charles Grover |
| Pairings in Rank-1 Constraint System Youssef El Housni |
| Fast and Efficient Malware Detection with Joint Static and Dynamic Features Through Transfer Learning Mao V. Ngo, Tram Truong-Huu, Dima Rabadi, Jia Yi Loo and Sin G. Teo |
| A Novel Automatic Technique Based on MILP to Search for Impossible Differentials Yong Liu, Zejun Xiang, Siwei Chen, Shasha Zhang and Xiangyong Zeng |
| Explicit and Nearly Tight Lower Bound for 2-party Perfectly Secure FSS Keitaro Hiwatashi and Koji Nuida |
| Tiny WFP : Lightweight and Effective Website Fingerprinting Via Wavelet Multi-Resolution Analysis Cong Tian, Dengpan Ye and Chuanxi Chen |
| Forward Security of Fiat-Shamir Lattice Signatures Yang Tao, Rui Zhang and Yunfeng Ji |
| Meet-in-the-Filter and Dynamic Counting with Applications to Speck Alex Biryukov, Luan Cardoso dos Santos, Je Sen Teh, Aleksei Udovenko and Vesselin Velichkov |
| Near Collision Attack against Grain v1 Subhadeep Banik, Daniel Collins and Willi Meier |
| Layered Binary Templating Martin Schwarzl, Erik Kraft and Daniel Gruss |
| Capturing Antique Browsers in Modern Devices: A Security Analysis of Captive Portal Mini-Browsers Ping-Lun Wang, Kai-Hsiang Chou, Shou-Ching Hsiao, Ann Tene Low, Tiffany Hyun-Jin Kim and Hsu-Chun Hsiao |
| Subversion-Resilient Authenticated Encryption without Random Oracles Pascal Bemmann, Sebastian Berndt, Denis Diemert, Tibor Jager and Thomas Eisenbarth |
| Mt. Random: Multi-Tiered Randomness Beacons Ignacio Cascudo, Bernardo David, Omer Shlomovits and Denis Varlakov |
| PIE: p-adic Encoding for High-Precision Arithmetic in Homomorphic Encryption Luke Harmon, Gaetan Delavignette, Arnab Roy and David Silva |
| On the Complete Non-Malleability of the Fujisaki-Okamoto Transform Daniele Friolo, Matteo Salvino and Daniele Venturi |
| Multi-Theorem Fiat-Shamir Transform from Correlation-Intractable Hash Functions Michele Ciampi and Yu Xia |
| A Forkcipher-based Pseudo-Random Number Generator Elena Andreeva and Andreas Weninger |
| DMA'n'Play: Practical Remote Attestation Based on Direct Memory Access Sebastian Surminski, Christian Niesler, Lucas Davi and Ahmad-Reza Sadeghi |
| Revisiting Transaction Ledger Robustness in the Miner Extractable Value Era Fredrik Kamphuis, Bernardo Magri, Ricky Lamberty and Sebastian Faust |
| TIDAL: Practical Collisions on State-Reduced Keccak Variants Sahiba Suryawanshi, Dhiman Saha and Shashwat Jaiswal |
| Recommendation for a holistic secure embedded ISA extension Florian Stolz, Marc Fyrbiak, Pascal Sasdrich and Tim Güneysu |
| Game-Theoretically Secure Protocols for the Ordinal Random Assignment Problem T-H. Hubert Chan, Ting Wen, Hao Xie and Quan Xue |
| QuantumCharge: Post-Quantum Cryptography for Electric Vehicle Charging Dustin Kern, Christoph Krauß, Timm Lauser, Nouri Alnahawi, Alexander Wiesmaier and Ruben Niederhagen |
| An Empirical Analysis of Security and Privacy Risks in Android Cryptocurrency Wallet Apps I Wayan Budi Sentana, Muhammad Ikram and Mohamed Ali Kaafar |
| Analysis and Prevention of Averaging Attacks against Obfuscation Protocols Kilian Becher, J. A. Gregor Lagodzinski, Javier Parra Arnau and Thorsten Strufe |
| Practical Robust DKG Protocols for CSIDH Shahla Atapoor, Karim Baghery, Daniele Cozzo and Robi Pedersen |
| FLSwitch: Towards Secure and Fast Model Aggregation for Federated Deep Learning with a Learning State-Aware Switch Yunlong Mao, Ziqin Dang, Yu Lin, Tianling Zhang, Yuan Zhang, Jingyu Hua and Sheng Zhong |
| Shorter and Faster Identity-Based Signatures with Tight Security in the (Q)ROM from Lattices Eric Sageloli, Pierre Pébereau, Pierrick Méaux and Céline Chevalier |
| Efficient Isogeny Proofs Using Generic Techniques Kelong Cong, Yi-Fu Lai and Shai Levin |
| Towards Post-Quantum Hash Proof Systems Bénédikt Tran and Serge Vaudenay |
| Optimal Security Notion for Decentralized Multi-Client Functional Encryption Ky Nguyen, Duong Hieu Phan and David Pointcheval |
| HS-based error correction algorithm for noisy binary GCD side-channel sequences Kenta Tani and Noboru Kunihiro |
| Binary Kummer Line Sabyasachi Karati |
| Spherical Gaussian Leftover Hash Lemma via the Rényi Divergence Hiroki Okada, Kazuhide Fukushima, Shinsaku Kiyomoto and Tsuyoshi Takagi |
| A New Approach to Garbled Circuits Anasuya Acharya, Tomer Ashur, Efrat Cohen, Carmit Hazay and Avishay Yanai |
| Low Memory Attacks on Small Key CSIDH Jesus-Javier Chi-Dominguez, Andre Esser, Sabrina Kunzweiler and Alexander May |
| Scored Anonymous Credentials Sherman S. M. Chow, Jack P. K. Ma and Tsz Hon Yuen |
| Anonymous (Hierarchical) Identity-Based Encryption from Broader Assumptions Huangting Wu and Sherman S. M. Chow |
| Predicate Private Set Intersection With Linear Complexity Yaxi Yang, Jian Weng, Yufeng Yi, Changyu Dong, Leo Yu Zhang and Jianying Zhou |
| A Framework for UC Secure Privacy Preserving Biometric Authentication using Efficient Functional Encryption Johannes Ernst and Katerina Mitrokotsa |
| Efficient Network Representation for GNN-based Intrusion Detection Hamdi Friji, Alexis Olivereau and Mireille Sarkiss |
| GeT a CAKE: Generic Transformations from Key Encaspulation Mechanisms to Password Authenticated Key Exchanges Hugo Beguinet, Céline Chevalier, David Pointcheval, Thomas Ricosset and Mélissa Rossi |
| BIKE Key-Recovery: Combining Power Consumption Analysis and Information-Set Decoding Agathe Cheriere, Nicolas Aragon, Tania Richmond and Benoît Gérard |
| EVADE: Efficient Moving Target Defense for Autonomous Network Topology Shuffling Using Deep Reinforcement Learning Qisheng Zhang, Jin-Hee Cho, Terrence J. Moore, Dan Dongseong Kim, Hyuk Lim and Frederica Nelson |
| Publicly Auditable Functional Encryption Vlasis Koutsos and Dimitrios Papadopoulos |
| Those Aren't Your Memories, They're Somebody Else's: Seeding Misinformation in Chat Bot Memories Conor Atkins, Benjamin Zi Hao Zhao, Hassan Jameel Asghar, Ian Wood and Mohamed Ali Kaafar |
| Social Honeypot for Humans: Luring People through Self-managed Instagram Pages Sara Bardi, Mauro Conti, Luca Pajola and Pier Paolo Tricomi |
| Private Information Retrieval with Result Verification for More Servers Pengzhen Ke and Liang Feng Zhang |
| Generalised Asynchronous Remote Key Generation for Pairing-based Cryptosystems Nick Frymann, Daniel Gardham, Mark Manulis and Hugo Nartz |
| Steal from Collaboration: Spy Attack by a Dishonest Party in Vertical Federated Learning Hongbin Chen, Chaohao Fu and Na Ruan |
| Divide and Rule: DiFA - Division Property Based Fault Attacks on PRESENT and GIFT Anup Kumar Kundu, Shibam Ghosh, Dhiman Saha and Mostafizar Rahman |
Posters
| POSTER: Ransomware detection mechanism – project status at the beginning of 2023 Michał Glet and Kamil Kaczyński |
| POSTER: AuthZit: Multi-Modal Authentication with Visual-Spatial and Text Secrets Joon Kuy Han |
| POSTER: Integration of End-to-End Security and Lightweight-SSL for Enhancing Security and Efficiency of MQTT Hung-Yu Chien |
| POSTER: Stopping Run-time Countermeasures in Cryptographic Primitives Myung-Hyun Kim, Taek-Young Youn, and Seungkwang Lee |
| POSTER: Swarm-based IoT Network Penetration Testing by IoT Devices Thomas Schiller and Sean Mondesire |
| POSTER: Advancing Federated Edge Computing with Continual Learning for Secure and Efficient Performance Chunlu Chen, Kevin I-Kai Wang, Peng Li, and Kouichi Sakurai |
| POSTER:A Fine-Grained Metric for Evaluating the Performance of Adversarial Attacks and Defenses Haibo Zhang, Zhihua Yao, and Kouichi Sakurai |
| POSTER: Integrating Quantum Key Distribution into Hybrid Quantum-Classical Networks Juris Viksna, Sergejs Kozlovics, and Edgars Rencis |
| POSTER: Adaptive Moving Target Defense: Enhancing Dynamic Perturbation through Voltage Sensitivity Analysis in Power Systems Muhammad Nouman Nafees, Neetesh Saxena, and Pete Burnap |
| POSTER: PriAuct: Privacy Preserving Auction Mechanism Neha Joshi, Abhishek Thakur, and A Antony Franklin |
| POSTER: Using Verifiable Credentials for authentication of UAVs in logistics Ken Watanabe1 and Kazue Sako |
| POSTER: A card-based protocol that lets you know how close two parties are in their opinions (agree/disagree) by using a four-point Likert scale Yuji Suga |
| POSTER: Collaborative Authority-Based Searchable Encryption Using Access Control Encryption Dequan Xu, Changgen Peng, Youliang Tian, Hai Liu, Ziyue Wang, and Weizheng Wang |
Workshop papers
ADSC
| Automatic Search Model for Related-Tweakey Impossible Differential Cryptanalysis Huiqin Chen, Yongqiang Li, Xichao Hu, Zhengbin Liu, Lin Jiao, and Mingsheng Wang |
| Comprehensive Preimage Security Evaluations on Rijndael-based Hashing Tianyu Zhang |
| Conditional Cube Key Recovery Attack on Round-Reduced Xoodyak Mohammad Vaziri and Vesselin Velichkov |
AIBlock
| Smart Contract-based E-Voting System Using Homomorphic Encryption and Zero-knowledge Proof Yuxiao Wu and Shoji Kasahara |
| Preventing Content Cloning in NFT Collections Ivan Visconti, Andrea Vitaletti, and Marco Zecchini |
| NFT Trades in Bitcoin with Off-chain Receipts Mehmet Sabir Kiraz, Enrique Larraia, and Owen Vaughan |
AIHWS
| A Comparison of Multi-task learning and Single-task learning Approaches Thomas Marquet and Elisabeth Oswald |
| Hide and Seek: Using Occlusion Techniques for Side-Channel Leakage Attribution in CNNs Thomas Schamberger, Maximilian Egger, and Lars Tebelmann |
| Secret Key Recovery Attack on Masked and Shuffled Implementations of CRYSTALS-Kyber and Saber Linus Backlund, Kalle Ngo, Joel G¨artner, and Elena Dubrova |
| SoK: Assisted Fault Simulation Existing Challenges and Opportunities Offered by AI Asmita Adhikary and Ileana Buhan |
| Using Model Optimization as Countermeasure against Model Recovery Attacks Dirmanto Jap and Shivam Bhasin |
AIoTS
| Blockchain-enabled Data Sharing in Connected Autonomous Vehicles for Heterogeneous Networks Ali Hussain Khan, Naveed UL Hassan, Chuadhry Mujeeb Ahmed, Zartash Afzal Uzmi, and Chau Yuen |
| A Security Policy Engine for Building Energy Management Systems Jiahui Lim, Wenshei Ong, Utku Tefek, and Ertem Esiner |
| EARIC: Exploiting ADC Registers in IoT and Control Systems Eyasu Getahun Chekole, Rajaram Thulasiraman, and Jianying Zhou |
CIMSS
| Round-Efficient Security Authentication Protocol For 5G Network Guining Geng, Junfeng Miao, and Nan Xiao |
| A Framework for TLS Implementation Vulnerability Testing in 5G Yong Wang, Rui Wang, Xin Liu, Donglan Liu, Hao Zhang, Lei Ma, Fangzhe Zhang, Lili Sun, and Zhenghao Li |
| Safety Watermark: A Defense Tool for Real-Time Digital Forensic Incident Response in Industrial Control Systems Sim Siang Tze Victor, Chuadhry Mujeeb Ahmed, Koh Yoong Keat Kelvin, and Zhou Jianying |
| Leveraging Semantic Relationships to Prioritise Indicators of Compromise in Additive Manufacturing Systems Mahender Kumar, Gregory Epiphaniou, and Carsten Maple |
| WiP: Towards Zero Trust Authentication in Critical Industrial Infrastructures with PRISM Fuyi Wang, Yanping Wang, Leo Yu Zhang, Yuval Hertzog, Michael Loewy, Dominique Valladolid, Julio Medeiros, Muna Al-Hawawreh, and Robin Doss |
Cloud S&P
| slytHErin: An Agile Framework for Encrypted Deep Neural Network Inference Francesco Intoci, Sinem Sav, Apostolos Pyrgelis, Jean-Philippe Bossuat, Juan-Ramon Troncoso-Pastoriza, Jean-Pierre Hubaux |
| Trust Management Framework for Containerized Workloads – Applications to 5G Networks Aicha Miloudi, Luis Suárez, Nora Boulahia Cuppens, Frédéric Cuppens, and Stere Preda |
SCI
| cPSIR: Circuit-based Private Stateful Information Retrieval for Private Media Consumption Wenyuan Li, Wei Wang, Fan Lang, Linli Lu, and Heqing Huang |
| A Deep-Learning Approach for Predicting Round Obfuscation in White-Box Block Ciphers Tongxia Deng, Ping Li1, Shunzhi Yang, Yupeng Zhang, Zheng Gong, Ming Duan, and Yiyuan Luo |
| Efficient Arithmetic for Polynomial Multiplication in Post-Quantum Lattice-based Cryptosystem on RISC-V Platform Feng Yang, Hui Cui, and Jiwu Jing |
| Generic Constructions of Server-Aided Revocable ABE with Verifiable Transformation Aicha Miloudi, Luis Suárez, Nora Boulahia Cuppens, Frédéric Cuppens, and Stere Preda |
| Hybrid Post-Quantum Signatures in Hardware Security Keys Diana Ghinea, Fabian Kaczmarczyck, Jennifer Pullman, Julien Cretin, Stefan Kolbl, Rafael Misoczki, Jean-Michel Picod, Luca Invernizzi, Elie Bursztein |
| Multi-Armed SPHINCS+ Gustavo Banegas and Florian Caullery |
| SpanL: Creating Algorithms for Automatic API Misuse Detection with Program Analysis Compositions Sazzadur Rahaman, Miles Frantz, Barton Miller, and Danfeng (Daphne) Yao |
| ZKBdf: A ZKBoo-based Quantum-Secure Verifiable Delay Function with Prover-secret Teik Guan Tan, Vishal Sharma, Zeng Peng Li, Pawel Szalachowski, and Jianying Zhou |
SecMT
| If you’re scanning this, it’s too late! A QR Code-based Fuzzing Methodology to Identify Input Vulnerabilities In Mobile Apps Federico Carboni, Mauro Conti, Denis Donadel, and Mariano Sciacco |
| Enabling Lightweight Privilege Separation in Applications with MicroGuards Zahra Tarkhani and Anil Madhavapeddy |
SiMLA
| Eliminating Adversarial Perturbations Using Image-to-Image Translation Method Haibo Zhang, Zhihua Yao, and Kouichi Sakurai |
| Federated Learning Approach for Distributed Ransomware Analysis Aldin Vehabovic, Hadi Zanddizari, Farook Shaikh, Nasir Ghani, Morteza Safaei Pour, Elias Bou-Harb, and Jorge Crichigno |
| Forensic Identi cation of Android Trojans Using Stacked Ensemble of Deep Neural Networks Mohammed M. Alani, Atefeh Mashatan, and Ali Miri |
