The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64

The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ISC (25. : 2022 : Bali) Information security
1. Verfasser: Li, Yingying (VerfasserIn)
Weitere Verfasser: Wang, Qichun (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Efficient Private Set Intersection Cardinality Protocol in the Reverse Unbalanced Setting 2022 Li, Hanyu
More Efficient Adaptively Secure Lattice-Based IBE with Equality Test in the Standard Model 2022 Asano, Kyoichi
Batched Fully Homomorphic Encryption from TFHE 2022 Jiang, Yuting
Implicit Rejection in Fujisaki-Okamoto: Framework and a Novel Realization 2022 Chen, Zhao
Searching for Encrypted Data on Blockchain: An Efficient, Secure and Fair Realization 2022 Chen, Jianzhang
Anatomist: Enhanced Firmware Vulnerability Discovery Based on Program State Abnormality Determination with Whole-System Replay 2022 Liu, Runhao
QUIC Protocol with Post-quantum Authentication 2022 Raavi, Manohar
The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64 2022 Li, Yingying
Efficient ECDSA-Based Adaptor Signature for Batched Atomic Swaps 2022 Tu, Binbin
A Blockchain-Based Mutual Authentication Protocol for Smart Home 2022 Chen, Biwen
OblivSend: Secure and Ephemeral File Sharing Services with Oblivious Expiration Control 2022 Shen, Yanjun
EarlyCrow: Detecting APT Malware Command and Control over HTTP(S) Using Contextual Summaries 2022 Alageel, Almuthanna
AspIOC: Aspect-Enhanced Deep Neural Network for Actionable Indicator of Compromise Recognition 2022 Wang, Shaofeng
Crypto-Steganographic Validity for Additive Manufacturing (3D Printing) Design Files 2022 Yampolskiy, Mark
GRUZ: Practical Resource Fair Exchange Without Blockchain 2022 Xu, Yongqing
Dissecting Applications Uninstallers and Removers: Are They Effective? 2022 Botacin, Marcus
Communication-Efficient and Secure Federated Learning Based on Adaptive One-Bit Compressed Sensing 2022 Xiao, Di
Privacy Preserving Computation in Cloud Using Reusable Garbled Oblivious RAMs 2022 Wang, Yongge
Witness Encryption from Smooth Projective Hashing System 2022 Wang, Yuzhu
Further Cryptanalysis of a Type of RSA Variants 2022 Shi, Gongyu
Alle Artikel auflisten