yusuke1997/dblp-id-title huggingface dataset:
On Session Key Construction in Provably-Secure Key Establishment Protocols: Revisiting Chen & Kudla (2003) and McCullagh & Barreto (2005) ID-Based Protocols
Blink: Breaking Lattice-Based Schemes Implemented in Parallel with Chosen-Ciphertext Attack
Privately Matching k-mers
Two-Round 2PC ECDSA at the Cost of 1 OLE
Instachain: Breaking the Sharding Limits via Adjustable Quorums
Safe Prime Generation with a Combined Sieve
Construct MD5 Collisions Using Just A Single Block Of Message
Tangram: Encryption-friendly SNARK framework under Pedersen committed engines
ECGSC: Elliptic Curve based Generalized Signcryption Scheme
Coil-Based Detection and Concurrent Error Correction Against EMFI - An Experimental Case-Study on a Prototype ASIC
Traceable and linkable ring signatures, traceable range proofs and applications on regulatable privacy-preserving blockchains
PriFHEte: Achieving Full-Privacy in Account-based Cryptocurrencies is Possible
Artificial Results From Hardware Synthesis
Achieving Differential Privacy with Bias-Control Limited Source
Digital Signatures with Memory-Tight Security in the Multi-Challenge Setting
Synthesis of Secure FPGA Implementations
Efficient Public Trace and Revoke from Standard Assumptions
Cryptanalysis of HFE
Towards everlasting privacy and efficient coercion resistance in remote electronic voting
Another Look at Byzantine Fault Tolerance
Reed-Solomon Codes over the Circle Group
Semi-regular sequences and other random systems of equations
Primal-Dual Distance Bounds of Linear Codes with Application to Cryptography
Differential-Linear Cryptanalysis of GIFT family and GIFT-based Ciphers
Fully Adaptive FROST in the Algebraic Group Model From Falsifiable Assumptions
Shorter double-authentication preventing signatures for small address spaces
Customizable constraint systems for succinct arguments
A New Chaotic Image Encryption Algorithm using a New Way of Permutation Methods
Efficient Issuer-Hiding Authentication, Application to Anonymous Credential
A SAT-Based Algorithm for Finding Short Cycles in Shift Register Based Stream Ciphers
Neural Leakage Model: Correlation Power Analysis with Profiled Leakage Model using Deep Neural Networks
On some non-linear recurrences over finite fields linked to isogeny graphs
Round-optimal Honest-majority MPC in Minicrypt and with Everlasting Security
Multi-property-preserving Domain Extension Using Polynomial-based Modes of Operation
Off-Chain Programmability at Scale
ILC: A Calculus for Composable, Computational Cryptography
An automated generation tool of hardware masked S-box: AGEMA +
Could The 1-MSB Input Difference Be The Fastest Collision Attack For MD5 ?
Almost Tight Multi-User Security under Adaptive Corruptions & Leakages in the Standard Model
Information-theoretic security with asymmetries
A Systematic Approach To Cryptocurrency Fees
zkAML: Zero-knowledge Anti Money Laundering in Smart Contracts with whitelist approach
An Attack on a Fully Homomorphic Encryption Scheme
On the impact of decryption failures on the security of LWE/LWR based schemes
Certificate-Based Parallel Key-Insulated Aggregate Signature Against Fully Chosen-Key Attacks for Industrial Internet of Things
Reduction Modulo 2 448 -2 224 -1
CCM-SIV: Single-PRF Nonce-Misuse-Resistant Authenticated Encryption
Another code-based adaptation of Lyubashevsky's signature cryptanalysed
Highly Scalable Searchable Symmetric Encryption for Boolean Queries from NTRU Lattice Trapdoors
Isogeny graphs of ordinary abelian varieties
Polynomial Multiplication in NTRU Prime: Comparison of Optimization Strategies on Cortex-M4
Gödel in Cryptography: Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup, and Perfect Soundness
Scribe: Low-memory SNARKs via Read-Write Streaming
Fast Unbalanced Private Computing on (Labeled) Set Intersection with Cardinality
Interpose PUF can be PAC Learned
Toward a Post-Quantum Zero-Knowledge Verifiable Credential System for Self-Sovereign Identity
Fast and Efficient Code-Based Digital Signature with Dual Inverse Matrix
Scalable Storage Scheme from Forward Key Rotation
How to Meet Ternary LWE Keys on Babai's Nearest Plane
Nearly Optimal Robust Secret Sharing against Rushing Adversaries
AVeCQ: Anonymous Verifiable Crowdsourcing with Worker Qualities
Interactive two-channel message authentication based on interactive-collision Resistant hash functions
On the Security of the Free-XOR Technique
A Theoretical Perspective on the Formal Verification of IoT Protocols Using LTL and Rewriting Logic in Maude
Novel Single-Trace ML Profiling Attacks on NIST 3 Round candidate Dilithium
How to Make Rational Arguments Practical and Extractable
Implementing Pairing-Based Cryptosystems in USB Tokens
An Improved Remote User Authentication Scheme using Bilinear Pairings
GIGA Protocol: Unlocking Trustless Parallel Computation in Blockchains
How to Prove Post-Quantum Security for Succinct Non-Interactive Reductions
Algebraic Side-Channel Collision Attacks on AES
A Hybrid Approach to Concurrent Error Detection for a Compact ASIC Implementation of the Advanced Encryption Standard
New Approaches for Secure Outsourcing Algorithm for Modular Exponentiations
Exploiting Transformations of the Galois Configuration to Improve Guess-and-Determine Attacks on NFSRs
Formal Verification of Side-channel Countermeasures via Elementary Circuit Transformations
The Exchange Attack: How to Distinguish 6 Rounds of AES with 2 88.2 chosen plaintexts
How To Construct Extractable One-Way Functions Against Uniform Adversaries
Ferret: Fast Extension for coRRElated oT with small communication
Faster Amortized FHEW bootstrapping using Ring Automorphisms
A Fast, Efficient, Platform-Adaptive, and AIS-20/31 Compliant PLL-Based True Random Number Generator on an SoC FPGA
Practical Attacks on Small Private Exponent RSA: New Records and New Insights
On Publicly Verifiable Delegation From Standard Assumptions
Blockchain based Contact Tracing: A Solution using Bluetooth and Sound Waves for Proximity Detection
An Investigation of Sources of Randomness Within Discrete Gaussian Sampling
Cost-Aware Cut-and-Choose Games with Applications in Cryptography and Prefix-Free Codes
Non-Malleable Time-Lock Puzzles and Applications
Improved Constant-weight PIR with an Extension for Multi-query
Group Signatures from Lattices: Simpler, Tighter, Shorter, Ring-based
Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data
Another Look at Automated Theorem-Proving
On Authenticated Encryption Using Stream Ciphers Supporting an Initialisation Vector
Efficient Oblivious Polynomial Evaluation with Simulation-Based Security
Cryptography Experiments In Lean 4: SHA-3 Implementation
Quantum Implementation of AIM: Aiming for Low-Depth
Orienteering with one endomorphism
More Efficient Zero-Knowledge Protocols over ℤ 2 k via Galois Rings
SoK: Systematizing Hybrid Strategies for the Transition to Post-Quantum Cryptography
Post-Quantum Security of Tweakable Even-Mansour, and Applications
Secret-Sharing from Robust Conditional Disclosure of Secrets
Classification of Boolean Functions of 6 Variables or Less with Respect to Cryptographic Properties
The Problem of Half Round Key XOR
Encrypted Matrix Multiplication Using 3-Dimensional Rotations
On the Function Field Sieve and the Impact of Higher Splitting Probabilities: Application to Discrete Logarithms in F 2 1971
Efficient SPA Countermeasures using Redundant Number Representation with Application to ML-KEM
How to compute all Pointproofs
The Study of Modulo 2 n
Threshold Cryptography Secure Against the Adaptive Adversary, Concurrently
Encryption Based Covert Channel for Large Language Models
A Low-Area Unified Hardware Architecture for the AES and the Cryptographic Hash Function Grøstl
Almost-everywhere Secure Computation
Pairing-friendly elliptic curves with small security loss by Cheon's algorithm
Non-interactive half-aggregation of EdDSA and variants of Schnorr signatures
Survey of Microarchitectural Side and Covert Channels, Attacks, and Defenses
PROTEUS: A Tool to generate pipelined Number Theoretic Transform Architectures for FHE and ZKP applications
Attacks on the AKACP Protocol
Blockchain-enabled Cryptographically-secure Hardware Obfuscation
On hybrid SIDH schemes using Edwards and Montgomery curve arithmetic
New Results in the Linear Cryptanalysis of DES
Pseudorandom Signatures
Disproving the Linearity of the Polynomials after the Pre-image Substitution in the System of the Third Attempt of MAYO
MUSE: Secure Inference Resilient to Malicious Clients
Short Variable Length Domain Extenders With Beyond Birthday Bound Security
Cryptanalysis of Three Certificate-Based Authenticated Key Agreement Protocols and a Secure Construction
Cicada: A framework for private non-interactive on-chain auctions and voting
Detectable correlations in Edon-R
Revisiting Cryptographic Accumulators, Additional Properties and Relations to other Primitives
New Impossible Differential Characteristic of SPECK64 using MILP
A Post-Quantum Digital Signature Scheme Based on Supersingular Isogenies
Modeling Random Oracles under Unpredictable Queries
Zeus: Defending against Fee Stealing and Griefing Attacks in Multi-Hop Payments
Fully Distributed Multi-Point Functions for PCGs and Beyond
Authenticated key exchange for SIDH
Full Cryptanalysis of LPS and Morgenstern Hash Function
On combinatorial approaches to search for quadratic APN functions
S-Mbank: Secure Mobile Banking Authentication Scheme Using Signcryption, Pair Based Text Authentication, and Contactless Smartcard
Subset-optimized BLS Multi-signature with Key Aggregation
Broadcast Encryption π
PQCUARK: A Scalar RISC-V ISA Extension for ML-KEM and ML-DSA
CIARP: A RISC Processor For Cryptography Applications
SKIVA: Flexible and Modular Side-channel and Fault Countermeasures
Smoothing Codes and Lattices: Systematic Study and New Bounds
Traceable Secret Sharing Revisited
On using the same key pair for Ed25519 and an X25519 based KEM
Higher Order Masking of Look-up Tables
A public-key based secure quantum-communication protocol using entangled qubits
Vandermonde meets Regev: Public Key Encryption Schemes Based on Partial Vandermonde Problems
Cryptanalysis of Bohio et al.'s ID-Based Broadcast Signcryption (IBBSC) Scheme for Wireless Ad-hoc Networks
Provably Secure ID-Based Broadcast Signcryption (IBBSC) Scheme
MaxMinMax problem and sparse equations over finite fields
State-Based Classical Shadows
Magnitude Squared Coherence based SCA
A Meet-in-the-Middle Attack on Reduced-Round Kalyna-b/2b
Practical collision attack on 40-step RIPEMD-128
Efficient Tate Pairing Computation for Supersingular Elliptic Curves over Binary Fields
Verification of the security in Boolean masked circuits
A Characterization of Authenticated-Encryption as a Form of Chosen-Ciphertext Security
Stronger Security Bounds for OMAC, TMAC and XCBC
On The Dihedral Coset Problem
Achieving the limits of the noisy-storage model using entanglement sampling
Efficient Optimal Ate Pairing at 128-bit Security Level
A Unified Security Model of Authenticated Key Exchange with Specific Adversarial Capabilities
Relate-Key Almost Universal Hash Functions: Definitions, Constructions and Applications
Lattice-theoretic Characterization of Secret Sharing Representable Connected Matroids
On generalized semi-bent (and partially bent) Boolean functions
A provable secure anonymous proxy signature scheme without random oracles
Game-Theoretic Security for Two-Party Protocols
Non-Profiled Higher-Order Side-Channel Attacks against Lattice-Based Post-Quantum Cryptography
DAA: Fixing the pairing based protocols
PAGES+, PAGES-, and PAGES- - Three Families of Block Ciphers
Optimizing Inner Product Masking Scheme by A Coding Theory Approach
A Comprehensive Survey of Privacy-Preserving Decision Trees Based on Homomorphic Encryption
Reducing the Depth of Quantum FLT-Based Inversion Circuit
Lattice-based weak curve fault attack on ECDSA
Information-Theoretic 2-Round MPC without Round Collapsing: Adaptive Security, and More
New Public Key Cryptosystems Using Polynomials over Non-commutative Rings
Towards a Characterization of the Related-Key Attack Security of the Iterated Even-Mansour Cipher
Oblivious Network RAM
Manta: a Plug and Play Private DeFi Stack
Cryptanalysis and improvement of a certificateless multi-proxy signature scheme
On the impossibility of surviving (iterated) deletion of weakly dominated strategies in rational MPC
Revisiting the "improving the security of multi-party quantum key agreement with five- qubit Brown states"
Continuously Non-Malleable Codes from Authenticated Encryptions in 2-Split-State Model
Applications of Key Recovery Cube-attack-like
Subversion-Resilient Signatures without Random Oracles
Cryptanalysis of White-Box Implementations
Long-lived digital integrity using short-lived hash functions
The Systemic Errors of Banded Quantum Fourier Transformation
Adaptive layer-two dispute periods in blockchains
CSI-Otter: Isogeny-based (Partially) Blind Signatures from the Class Group Action with a Twist
Trapdoor oneway functions associated with exponentiation
Cryptanalysis of multi-HFE
A general conjecture similar to T-D conjecture and its applications in constructing Boolean functions with optimal algebraic immunity
Key Recovery Attack on QuiSci
Searchable Encryption with randomized ciphertext and randomized keyword search
On Closed-Cycle Loops and Applicability of Nonlinear Product Attacks to DES
Improved, Black-Box, Non-Malleable Encryption from Semantic Security
Cryptanalysis of an implementation scheme of the Tamed Transformation Method cryptosystem
On the Composability of Statistically Secure Bit Commitments
Joint Data and Key Distribution of the Linear Cryptanalysis Test Statistic and Its Impact to Data Complexity Estimates of Multiple/Multidimensional Linear and Truncated Differential Attacks
Breaking Full ChiLow-32
On the Security Notions for Encryption in a Quantum World
Comparing Different Definitions of Secure Session
Generic Attacks against Beyond-Birthday-Bound MACs
Decentralized Compromise-Tolerant Public Key Management Ecosystem with Threshold Validation
Voting with unconditional privacy: CFSY for booth voting
Improved side channel attack on the block cipher NOEKEON
Fully Secure (Doubly-)Spatial Encryption under Simpler Assumptions
ELMO: Emulating Leaks for the ARM Cortex-M0 without Access to a Side Channel Lab
PROLEAD_SW - Probing-Based Software Leakage Detection for ARM Binaries
AutoPOI: Automated Points Of Interest Selection for Side-channel Analysis
Succinct Zero-knowledge Proofs from One-way Functions:The Blackbox Way
On Multivariate Algorithms of Digital Signatures of Linear Degree and Low Density
Locally Decodable Codes for edit distance
Fast and Secure Elliptic Curve Scalar Multiplication Over Prime Fields Using Special Addition Chains
Efficient algorithms for supersingular isogeny Diffie-Hellman
Quantum Security of FOX Construction based on Lai-Massey Scheme
Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox
Computing the endomorphism ring of an ordinary elliptic curve over a finite field
The special case of cyclotomic fields in quantum algorithms for unit groups
Cats and Dogs An Integrity for Voting Systems Based on Paper Ballots
Double Voter Perceptible Blind Signature Based Electronic Voting Protocol
Using Templates to Distinguish Multiplications from Squaring Operations
Quantum Key Recovery Attacks on 4-round Iterated Even-Mansour with Two Keys
Cryptanalysis and Security Enhancement on the Generation of Mu-Varadharajan Electronic Voting Protocol
New Fast Algorithms for Arithmetic on Elliptic Curves over Fields of Characteristic Three
Security Analysis of Lal and Awasthi's Proxy Signature Schemes
Relation between XL algorithm and Gröbner Bases Algorithms
Fine-Grained and Application-Ready Distance-Bounding Security
Discrete Logarithms in Generalized Jacobians
Template-based Fault Injection Analysis of Block Ciphers
Revised: Block Cipher Based Hash Function Construction From PGV
SCA-GPT: Generation-Plan-Tool Assisted LLM Agent for Full-Automated Side-Channel Analysis on Cryptosystems
New Observation on Division Property
New Constructions of Low Correlation Sequences with High Linear Complexity
Analysis of the Rainbow Tradeoff Algorithm Used in Practice
Decryption phase in Norwegian electronic voting
Sharing of Encrypted files in Blockchain Made Simpler
Heuristic Ideal Obfuscation Scheme based on LWE Problem, its Variants and Quantum Oracle
New Results about the Boomerang Uniformity of Permutation Polynomials
Performance Evaluation of Post-Quantum TLS 1.3 on Embedded Systems
A Characterization of AE Robustness as Decryption Leakage Indistinguishability
DeepChain: Auditable and Privacy-Preserving Deep Learning with Blockchain-based Incentive
Privacy-Preserving IP Verification
PPRKS: A Privacy Preserving Range Keyword Search Scheme
CCA2 Secure Certificateless Encryption Schemes Based on RSA
RapidUp: Multi-Domain Permutation Protocol for Lookup Tables
Paras - A Private NFT Protocol
Cryptography Using CAPTCHA Puzzles
PoTS - A Secure Proof of TEE-Stake for Permissionless Blockchains
VMPC One-Way Function
A Cryptosystem Based on Hidden Order Groups and Its Applications in Highly Dynamic Group Key Agreement
T-Proof: Secure Communication via Non-Algorithmic Randomization
Practical Attribute Based Inner Product Functional Encryption from Simple Assumptions
Provably Secure Authenticated Tree Based Group Key Agreement Protocol
Sublinear Proofs over Polynomial Rings
Analogue of Vélu's Formulas for Computing Isogenies over Hessian Model of Elliptic Curves
What Information is Leaked under Concurrent Composition?
Game Theoretical Analysis of DAG-Ledgers Backbone
A direct proof of APN-ness of the Kasami functions
On Security Preserving Reductions - Revised Terminology
Push For More: On Comparison of Data Augmentation and SMOTE With Optimised Deep Learning Architecture For Side-Channel
A comb method to render ECC resistant against Side Channel Attacks
Generalized Kotov-Ushakov Attack on Tropical Stickel Protocol Based on Modified Circulants
Secret Sharing Scheme with Perfect Concealment
Simplifying Game-Based Definitions: Indistinguishability up to Correctness and Its Application to Stateful AE
Fuming Acid and Cryptanalysis: Handy Tools for Overcoming a Digital Locking and Access Control System - Full Version
Using Commutative Encryption to Share a Secret
On quantum indistinguishability under chosen plaintext attack
A note on the security of Higher-Order Threshold Implementations
The Side-Channel Metric Cheat Sheet
Comments: Insider attack on Cheng et al.'s pairing-based tripartite key agreement protocols
Anonymous Distance-Bounding Identification
Rainbow Band Separation is Better than we Thought
A Broadcast Attack against NTRU Using Ding's Algorithm
Witness-Authenticated Key Exchange Revisited: Improved Models, Simpler Constructions, Extensions to Groups
SoK: Decentralized Storage Network
Adaptively Secure Fully Homomorphic Message Authentication Code with Pre-processable Verification
Loquat: A SNARK-Friendly Post-Quantum Signature based on the Legendre PRF with Applications in Ring and Aggregate Signatures
Cryptanalysis of improvement of digital signature with message recovery using self-certified public keys and its variants
Algebraic Properties of Modular Addition Modulo a Power of Two
Information Leakage of Continuous-Source Zero Secrecy Leakage Helper Data Schemes
Asynchronous Dynamic Proactive Secret Sharing under Honest Majority: Refreshing Without a Consistent View on Shares
Testing Security Equivalence in the Random Probing Model
A non-uniform birthday problem with applications to discrete logarithms
A Note on Cryptanalysis of the Preliminary Version of the NTRU Signature Scheme
The Jacobi Symbol Problem for Quadratic Congruences and Applications to Cryptography
Automatic Search of Differential Path in MD4
Machine-checking the universal verifiability of ElectionGuard
The Curious Case of Non-Interactive Commitments
Accelerating V2X Cryptography through Batch Operations
Decoding square-free Goppa codes over F p
Efficient Solutions of the CHES 2018 AES Challenge Using Deep Residual Neural Networks and Knowledge Distillation on Adversarial Examples
Safely Exporting Keys from Secure Channels: On the security of EAP-TLS and TLS Key Exporters
DDH-like Assumptions Based on Extension Rings
TallyGuard: Privacy Preserving Tallied-as-cast Guarantee
A Framework for Universally Composable Non-Committing Blind Signatures
Two-Key Variant of the Four-Round Cascading LRW1
Streaming Merkle Proofs within Binary Numeral Trees
LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions
SALSA PICANTE: a machine learning attack on LWE with binary secrets
Comments on a novel user authentication and key agreement scheme
Attacks on RFID-Based Electronic Voting Systems
Special block cipher family DN and new generation SNMAC-type hash function family HDN
Cryptanalysis of MQV with partially known nonces
Truncator: Time-space Tradeoff of Cryptographic Primitives
Improving Matsui's Search Algorithm for the Best Differential/Linear Trails and its Applications for DES, DESL and GIFT
The Kurosawa-Desmedt Key Encapsulation is not Chosen-Ciphertext Secure
Classical substitution ciphers and group theory
Open Source Is Not Enough. Attacking the EC-package of Bouncycastle version 1.x_132
ZeroCT: Improving ZeroCoin with Confidential Transactions and more
Lattice-Based FHE as Secure as PKE
Bounds on Ad Hoc Threshold Encryption
TLS-N: Non-repudiation over TLS Enabling - Ubiquitous Content Signing for Disintermediation
Practical Attacks on the Full-round FRIET
New Fully Homomorphic Encryption over the Integers
Verifiable Data Streaming
Adaptively Secure Partially Non-Interactive Threshold Schnorr Signatures in the AGM
On Access Control Encryption without Sanitization
Cryptanalysis on Asymmetric Structured Key Agreement Schemes
A Note on One Secure Anti-Collusion Data Sharing Scheme for Dynamic Groups in the Cloud
Efficient Implementation of Tate Pairing on a Mobile Phone using Java
VIA: Communication-Efficient Single-Server Private Information Retrieval
Noninteractive Zero Knowledge for NP from (Plain) Learning With Errors
The Cost of Statistical Security in Interactive Proofs for Repeated Squaring
Wavelet: Code-based postquantum signatures with fast verification on microcontrollers
A Note on "Secure and Distributed IoT Data Storage in Clouds Based on Secret Sharing and Collaborative Blockchain"
The Carnac protocol - or how to read the contents of a sealed envelope
Spot the Black Hat in a Dark Room: Parallelized Controlled Access Searchable Encryption on FPGAs
Protecting against Key Exposure: Strongly Key-Insulated Encryption with Optimal Threshold
Dual System Encryption Framework in Prime-Order Groups
Decentralized Contact Tracing Using a DHT and Blind Signatures
ABFKS: Attribute-Based Encryption with Functional Keyword Search in Fog Computing
Safeguarding Physical Sneaker Sale Through a Decentralized Medium
Computing Jacobi's \theta in quasi-linear time
ROSSLER NONLINEAR DYNAMICAL MACHINE FOR CRYPTOGRAPHY APPLICATIONS
Algorithms and Arithmetic Operators for Computing the eta T Pairing in Characteristic Three
Efficient Evaluation of Frequency Test for Overlapping Vectors Statistic
Quantum algorithms for the subset-sum problem
Enhancing Data Security: A Study of Grain Cipher Encryption using Deep Learning Techniques
High Fidelity Security Mesh Monitoring using Low-Cost, Embedded Time Domain Reflectometry
Efficient Query Integrity for Outsourced Dynamic Databases
The Nested Subset Differential Attack: A Practical Direct Attack Against LUOV which Forges a Signature within 210 Minutes
Efficient Final Exponentiation via Cyclotomic Structure for Pairings over Families of Elliptic Curves
DAG-Σ: A DAG-based Sigma Protocol for Relations in CNF
Jackpot: Non-Interactive Aggregatable Lotteries
Recovering Short Generators of Principal Fractional Ideals in Cyclotomic Fields of Conductor p α q β
On Gaussian sampling, smoothing parameter and application to signatures
A Systematic Study of Data Augmentation for Protected AES Implementations
PIRANHAS: PrIvacy-Preserving Remote Attestation in Non-Hierarchical Asynchronous Swarms
On small secret key attack against RSA with high bits known prime factor
Always by Your Side: Constructing Traceable Anonymous Credentials with Hardware-Binding