Suchergebnisse - Theory of computation Computational complexity and cryptography Cryptographic protocols

Primer: Fast Private Transformer Inference on Encrypted Data von Zheng, Mengxin, Lou, Qian, Jiang, Lei

“… In particular, Primer is constructed by a hybrid cryptographic protocol optimized for attention-based Transformer models, as well as techniques including computation merge and tokens-first ciphertext packing …”
Volltext

Optimizing windowed arithmetic for quantum attacks against RSA-2048 von Luongo, Alessandro, Narasimhachar, Varun, Sireesh, Adithya

“… in the current state-of-the-art compilations of quantum attacks against modern cryptography. We introduce several optimizations to windowed arithmetic …”
Volltext

ZK-Hammer: Leaking Secrets from Zero-Knowledge Proofs via Rowhammer von Liang, Junkai, Zhang, Xin, Hu, Daqi, Shen, Qingni, Fang, Yuejian, Wu, Zhonghai

“… Zero-knowledge succinct non-interactive arguments of knowledge (zk-SNARK) schemes have been a promising technique in verified computation …”
Volltext

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing von Zhang, Yancheng, Zheng, Mengxin, Chen, Xun, Hu, Jingtong, Shi, Weidong, Ju, Lei, Solihin, Yan, Lou, Qian

“… However, the computation, data and results are prone to tampering due to the vulnerabilities on the server side …”
Volltext

Optimized Polynomial Multiplier Architectures for Post-Quantum KEM Saber von Basso, Andrea, Roy, Sujoy Sinha

“… Saber is one of the four finalists in the ongoing NIST post-quantum cryptography standardization project …”
Volltext

ALLMod: Exploring Area-Efficiency of LUT-based Large Number Modular Reduction via Hybrid Workloads von Liu, Fangxin, Li, Haomin, Wang, Zongwu, Zhang, Bo, Zhang, Mingzhe, Yan, Shoumeng, Jiang, Li, Guan, Haibing

“… Modular arithmetic, particularly modular reduction, is widely used in cryptographic applications such as homomorphic encryption …”
Volltext

Invited: Accelerating Fully Homomorphic Encryption with Processing in Memory von Gupta, Saransh, Rosing, Tajana Simunic

“… Fully homomorphic encryption (FHE) provides a promising solution for future computing needs by allowing privacy-preserving computation …”
Volltext

Lightning Talk: The Incredible Shrinking Black Box Model von Schaumont, Patrick

“… A black box model is an assumption on the implementation of a cryptographic primitive to limit the capabilities of the attacker …”
Volltext

NECTAR: non-interactive smart contract protocol using blockchain technology von Covaci, Alexandra, Madeo, Simone, Motylinski, Patrick, Vincent, Stéphane

“… In this paper, we introduce a novel protocol aiming to execute smart contracts as part of a blockchain transaction validation …”
Volltext

Evaluating the Integration of Aurora Zksnark in the Zupply Framework von Badakhshan, Mohammadtaghi, Gong, Guang

“… The Zupply framework introduces an anonymous authentication protocol that utilizes zero-knowledge proofs to ensure data integrity, participant anonymity, and unlinkability within supply chains …”
Volltext

Decentralized Electronic Health Records Management via Redactable Blockchain and Revocable IPFS von Guo, Hao, Li, Wanxin, Meese, Collin, Nejad, Mark

“… We implemented the proposed system based on the Charm cryptographic library and revocable …”
Volltext

Interactive cryptographic proofs of quantumness using mid-circuit measurements von Zhu, Daiwei, Kahanamoku-Meyer, Gregory D, Lewis, Laura, Noel, Crystal, Katz, Or, Harraz, Bahaa, Wang, Qingfeng, Risinger, Andrew, Feng, Lei, Biswas, Debopriyo, Egan, Laird, Gheorghiu, Alexandru, Nam, Yunseong, Vidick, Thomas, Vazirani, Umesh, Yao, Norman Y, Cetina, Marko, Monroe, Christopher

“… Here we apply mid-circuit measurements for a particular task: demonstrating quantum computational advantage …”
Volltext

Secure Comparison Protocols in the Semi-Honest Model von Veugen, Thijs, Blom, Frank, de Hoogh, Sebastiaan J. A., Erkin, Zekeriya

“… Due to high complexity, comparison protocols with secret inputs have been a bottleneck in the design of privacy-preserving cryptographic protocols …”
Volltext

Probabilistic Termination and Composability of Cryptographic Protocols von Cohen, Ran, Coretti, Sandro, Garay, Juan, Zikas, Vassilis

“… When analyzing the round complexity of multi-party protocols, one often overlooks the fact that underlying resources, such as a broadcast channel, can by themselves be expensive to implement …”
Volltext

Round-Preserving Parallel Composition of Probabilistic-Termination Cryptographic Protocols von Cohen, Ran, Coretti, Sandro, Garay, Juan, Zikas, Vassilis

“… An important benchmark for multi-party computation protocols (MPC) is their round complexity …”
Volltext

More Efficient Oblivious Transfer Extensions von Asharov, Gilad, Lindell, Yehuda, Schneider, Thomas, Zohner, Michael

“… Oblivious transfer (OT) is one of the most fundamental primitives in cryptography and is widely used in protocols for secure two-party and multi-party computation …”
Volltext

The Round Complexity of Perfect MPC with Active Security and Optimal Resiliency von Applebaum, Benny, Kachlon, Eliran, Patra, Arpita

“… We study the round complexity of general secure multiparty computation in the BGW model. Our main result shows that every functionality can be realized in only four …”
Volltext

Verification of Quantum Computation: An Overview of Existing Approaches von Gheorghiu, Alexandru, Kapourniotis, Theodoros, Kashefi, Elham

“… We also comment on the use of cryptographic techniques which, for many of the presented protocols, has proven extremely useful in performing verification. Finally, we discuss issues related to fault tolerance, experimental implementations and the outlook for future protocols …”
Volltext

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems von Cortier, Véronique, Kremer, Steve, Warinschi, Bogdan

“… One of the approaches relies on a computational model that considers issues of complexity and probability …”
Volltext

Decision and Complexity of Dolev-Yao Hyperproperties von Rakotonirina, Itsaka, Barthe, Gilles, Schneidewind, Clara

“… The formal analysis of cryptographic protocols traditionally focuses on trace and equivalence properties, for which decision procedures in the symbolic (or Dolev-Yao, or DY) model are known …”
Volltext