yusuke1997/dblp-id-title huggingface dataset:
Semi-Adaptive Security and Bundling Functionalities Made Generic and Easy
R-SWAP: Relay based atomic cross-chain swap protocol
Secure Group Key Management Approach Based upon N-dimensional Hyper-sphere
Invariance-Based Concurrent Error Detection for Advanced Encryption Standard
Pseudorandom Correlation Functions for Multiparty Beaver Triples from Sparse LPN
Impossible plaintext cryptanalysis and probable-plaintext collision attacks of 64-bit block cipher modes
Post-Quantum Cryptography in eMRTDs: Evaluating PAKE and PKI for Travel Documents
Universally Composable Server-Supported Signatures for Smartphones
Post-Quantum Secure Over-the-Air Update of Automotive Systems
Secure Federated Clustering
PIGEON: A Framework for Private Inference of Neural Networks
SoK: Deep Learning-based Side-channel Analysis Trends and Challenges
Constructing Dembowski-Ostrom permutation polynomials from upper triangular matrices
Cryptanalysis of RSA with constrained keys
Practically-exploitable Vulnerabilities in the Jitsi Video Conferencing System
STAMP-Single Trace Attack on M-LWE Pointwise Multiplication in Kyber
LLMonPro: Low-Latency Montgomery Modular Multiplication Suitable for Verifiable Delay Functions
Minting Mechanisms for Blockchain - or - Moving from Cryptoassets to Cryptocurrencies
Constructing differentially 4-uniform permutations over 2 2m from quadratic APN permutations over 2 2m+1
Puzzle Encryption Algorithm
Dynamic Runtime Methods to Enhance Private Key Blinding
On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization
Mesh Messaging in Large-scale Protests: Breaking Bridgefy
Entropically secure cipher for messages generated by Markov chains with unknown statistics
Breaking BASS
QuickPool: Privacy-Preserving Ride-Sharing Service
Fault Analysis of Kuznyechik
An Efficient All-to-All GCD Algorithm for Low Entropy RSA Key Factorization
Picking Virtual Pockets using Relay Attacks on Contactless Smartcard Systems
Cube-Attack-Like Cryptanalysis of Keccak-Based Constructions Exploiting State Differences (Full Version)
Efficient ASIC Architectures for Low Latency Niederreiter Decryption
Nebula: Efficient read-write memory and switchboard circuits for folding schemes
Functional Encryption for Set Intersection in the Multi-Client Setting
Snapshot-Oblivious RAMs: Sub-Logarithmic Efficiency for Short Transcripts
Unforgeability in the quantum world
Elliptic and Hyperelliptic Curves: a Practical Security Analysis
The fragility of AES-GCM authentication algorithm
Revisiting Preimage Sampling for Lattices
On Stochastic Security of Java Crypto and NIST DRBG Pseudorandom Sequences
New Exchanged Boomerang Distinguishers for 5-Round AES
A Simple and Unified Method of Proving Unpredictability
A Novel RFID Authentication Protocol based on Elliptic Curve Cryptosystem
Technical Report: Even Faster Polynomial Multiplication for NTRU Prime with AVX2
Adaptively-Secure, Non-Interactive Public-Key Encryption
Concrete Analysis of Schnorr-type Signatures with Aborts
Topology-based Plug-and-Play Key-Setup
New classes of public key cryptosystem K(XVI)SE(1)PKC constructed based on Reed-Solomon code over extension field of m=8 and K(XVI)SE(2)PKC, based on binary cyclic code
Practical Zero-Trust Threshold Signatures in Large-Scale Dynamic Asynchronous Networks
Non-randomness of S-unit lattices
Cryptographic decoding of the Leech lattice
Comprehensive Evaluation of High-Speed and Medium-Speed Implementations of Five SHA-3 Finalists Using Xilinx and Altera FPGAs
Error Decodable Secret Sharing and One-Round Perfectly Secure Message Transmission for General Adversary Structures
Teleportation-based quantum homomorphic encryption scheme with quasi-compactness and perfect security
Short Selling Attack: A Self-Destructive But Profitable 51% Attack On PoS Blockchains
got HW crypto? On the (in)security of a Self-Encrypting Drive series
SoCureLLM: An LLM-driven Approach for Large-Scale System-on-Chip Security Verification and Policy Generation
The Security of Practical Two-Party RSA Signature Schemes
AN ATTACK ON THE WALNUT DIGITAL SIGNATURE ALGORITHM
A Related-Key Chosen-IV Distinguishing Attack on Full Sprout Stream Cipher
Quantum Authentication and Encryption with Key Recycling
Identity Based Partial Aggregate Signature Scheme Without Pairing
Balanced Non-Adjacent Forms
The Simplest SAT Model of Combining Matsui's Bounding Conditions with Sequential Encoding Method
FRIVail: A Data Availability Scheme based on FRI Binius
Function-Dependent Commitments for Verifiable Multi-Party Computation
Efficient Threshold Secret Sharing Schemes Secure against Rushing Cheaters
Traceable Threshold Encryption without Trusted Dealer
Lifeboats on the Titanic Cryptography
Game-Theoretically Fair Leader Election in O(log log n) Rounds under Majority Coalitions
Partially specified channels: The TLS 1.3 record layer without elision
White-Box Cryptography: Formal Notions and (Im)possibility Results
Provisioning Protected Resource Sharing in Multi-Hop Wireless Networks
Onyx: New Encryption and Signature Schemes with Multivariate Public Key in Degree 3
LegRoast: Efficient post-quantum signatures from the Legendre PRF
Automated Design, Implementation, and Evaluation of Arbiter-based PUF on FPGA using Programmable Delay Lines
Security Bounds for the Design of Code-based Cryptosystems
1-Resilient Boolean Function with Optimal Algebraic Immunity
Cryptanalysis of the COS (2, 128) Stream Ciphers
MV3: A new word based stream cipher using rapid mixing and revolving buffers
Faster point scalar multiplication on NIST elliptic curves over GF(p) using (twisted) Edwards curves over GF(p³)
PSKPIR: Symmetric Keyword Private Information Retrieval based on PSI with Payload
Post-Quantum Hash-Based Signatures for Secure Boot
On Deniable Authentication against Malicious Verifiers
Scan-based Attacks on Linear Feedback Shift Register Based Stream Ciphers
A variant of Wiener's attack on RSA
Maliciously Secure Circuit-PSI via SPDZ-Compatible Oblivious PRF
ProofFrog: A Tool For Verifying Game-Hopping Proofs
Side-Channel Attacks on BLISS Lattice-Based Signatures - Exploiting Branch Tracing Against strongSwan and Electromagnetic Emanations in Microcontrollers
A revocable certificateless signature scheme
Plaintext Recovery Attacks against Linearly Decryptable Fully Homomorphic Encryption Schemes
Un-Trusted-HB: Security Vulnerabilities of Trusted-HB
Towards High-speed ASIC Implementations of Post-Quantum Cryptography
Inflation-Tracking Proof-of-Work Crypto-Currencies
Preimage Attacks On Provably Secure FFT Hashing proposed at Second Hash Workshop in 2006
Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments
Efficient Asynchronous Byzantine Agreement with Optimal Resilience
Reconciling d+1Masking in Hardware and Software
AB-SIFA: SIFA with Adjacent-Byte Model
Never trust a bunny
An improved collision probability for CBC-MAC and PMAC
Post-Quantum TLS on Embedded Systems
Differential analysis of the ZUC-256 initialisation
The Improved Cube Attack on Grain-v1
Universally Composable Non-Interactive Zero-Knowledge from Sigma Protocols via a New Straight-line Compiler
On Evaluating Circuits with Inputs Encrypted by Different Fully Homomorphic Encryption Schemes
Hardness of decision (R)LWE for any modulus
Continuously Non-Malleable Codes against Bounded-Depth Tampering
SAND: an AND-RX Feistel lightweight block cipher supporting S-box-based security evaluations
High-speed Implementation of AIM symmetric primitives within AIMer digital signature
Another Look at Success Probability in Linear Cryptanalysis
Single Block Attacks and Statistical Tests on CubeHash
Quantum Grover Attack on MIBS
Efficient Linkable Ring Signatures: New Framework and Post-Quantum Instantiations
Breaking the quadratic barrier: Quantum cryptanalysis of Milenage, telecommunications' cryptographic backbone
SmartTokens: Delegable Access Control with NFC-enabled Smartphones (Full Version)
Escrow-Free Encryption Supporting Cryptographic Workflow
Preprocessing-Based Verification of Multiparty Protocols with Honest Majority
Hardness of Problems with Hints in Code-Based Cryptography and Applications to Traitor Tracing
One More Pair, More Information Gained: Improved Attacks on LowMC with Full S-box Layers Using Two Plaintext/Ciphertext Pairs
Oblivious Identity-based Encryption (IBE Secure Against an Adversarial KGC)
Efficient Perfectly Reliable and Secure Communication Tolerating Mobile Adversary
Relation for Algebraic Attack on E0 combiner
Linear Cryptanalysis of Round Reduced SIMON
Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)
Faster addition and doubling on elliptic curves
Analysis of Layered ROLLO-I
Turing, a fast stream cipher
Bitcoin Private Key Locked Transactions
Security and Privacy Analysis of Recently Proposed ECC-Based RFID Authentication Schemes
Bit Security as Cost to Observe Advantage: Towards the Definition from THE BOOK
Minimizing the Use of the Honest Majority in YOSO MPC with Guaranteed Output Delivery
Non-interactive zaps of knowledge
Quantum Algorithms for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems
Tight Reductions among Strong Di e-Hellman Assumptions
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
New Cryptosystem Using The CRT And The Jordan Normal Form
Computing the Rank of Incidence Matrix and Algebraic Immunity of Boolean Functions
On Cryptographic Protocols Employing Asymmetric Pairings - The Role of Psi Revisited
More Practical Fully Homomorphic Encryption
New Statistical Box-Test and its Power
L-DAA: Lattice-Based Direct Anonymous Attestation
Effective and Efficient Masking with Low Noise using Small-Mersenne-Prime Ciphers
Sleepy Channels: Bitcoin-Compatible Bi-directional Payment Channels without Watchtowers
Greco: Fast Zero-Knowledge Proofs for Valid FHE RLWE Ciphertexts Formation
Improved Range Searching And Range Emptiness Under FHE Using Copy-And-Recurse
Differential Fault Analysis of AES: Towards Reaching its Limits
On the Practicality of Post-Quantum TLS Using Large-Parameter CSIDH
Parsing ambiguities in authentication and key establishment protocols
TRIFORS: LINKable Trilinear Forms Ring Signature
Security needs in embedded systems
Multipurpose Identity-Based Signcryption : A Swiss Army Knife for Identity-Based Cryptography
Don't forget your roots: constant-time root finding over 픽 2 m
Performance Evaluation of NIST LWC Finalists on AVR ATmega and ARM Cortex-M3 Microcontrollers
Obtaining More Karatsuba-Like Formulae over The Binary Field
Differing-Inputs Obfuscation and Applications
Comments on "Privacy-Enhanced Federated Learning Against Poisoning Adversaries"
Linear (hull) Cryptanalysis of Round-reduced Versions of KATAN
Searching for Shapes in Cryptographic Protocols (extended version)
Secure Maximum Weight Matching Approximation on General Graphs (Full Version)
ID-Based Encryption for Complex Hierarchies with Applications to Forward Security and Broadcast Encryption
Count of rotational symmetric bent Boolean functions
On the Adaptive Security of Free-XOR-based Garbling Schemes in the Plain Model
The Value 4 of Binary Kloosterman Sums
WaterSQI and PRISMO: Quaternion Signatures for Supersingular Isogeny Group Actions
One-Shot Native Proofs of Non-Native Operations in Incrementally Verifiable Computations
Concealment and its Applications to Authenticated Encryption
Fully Homomorphic Encryption from Ring-LWE：Identity-Based，Arbitrary Cyclotomic，Tighter Parameters
Revisiting Module Lattice-based Homomorphic Encryption and Application to Secure-MPC
Reusable Dynamic Multi-Party Homomorphic Encryption
Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges
Enhanced FPGA Implementation of the Hummingbird Cryptographic Algorithm
One-out-of-Many Unclonable Cryptography: Definitions, Constructions, and More
Password-authenticated Key Exchange and Applications
Efficient and Provably-Secure Certificateless Short Signature Scheme from Bilinear Pairings
A Columnar Transposition cipher in a contemporary setting
Multiparty Computation for Modulo Reduction without Bit-Decomposition and A Generalization to Bit-Decomposition
Oblivious RAM with Small Storage Overhead
Time is not enough: Timing Leakage Analysis on Cryptographic Chips via Plaintext-Ciphertext Correlation in Non-timing Channel
Disguising tori and elliptic curves
Accelerating NTRU based Homomorphic Encryption using GPUs
Secure Quantum Bit Commitment
Falcon Down: Breaking Falcon Post-Quantum Signature Scheme through Side-Channel Attacks
Faster Bootstrapping for CKKS with Less Modulus Consumption
Secure Lookup Tables: Faster, Leaner, and More General
Fault Injection Modeling Attacks on 65nm Arbiter and RO Sum PUFs via Environmental Changes
Linear*-Time Permutation Check
A Survey on ID-Based Cryptographic Primitives
Degree-2 Secret Sharing and Conditional Disclosure of Secrets
UPKE and UKEM Schemes from Supersingular Isogenies
FairSwap: How to fairly exchange digital goods
Security analysis of a fuzzy identity-based encryption scheme
Key Recovery Method for CRT Implementation of RSA
Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers
When Private Set Intersection Meets Big Data: An Efficient and Scalable Protocol
Adaptive precision LLL and Potential-LLL reductions with Interval arithmetic
Collisions and other Non-Random Properties for Step-Reduced SHA-256
Improved Impossible Differential Attack on Reduced Version of Camellia-192/256
On the Security of Randomized CBC-MAC Beyond the Birthday Paradox Limit - A New Construction
CONIKS: A Privacy-Preserving Consistent Key Service for Secure End-to-End Communication
Efficient linear feedback shift registers with maximal period
The SIMON and SPECK Block Ciphers on AVR 8-bit Microcontrollers
Haven++: Batched and Packed Dual-Threshold Asynchronous Complete Secret Sharing with Applications
Pseudo-Linear Approximations for ARX Ciphers: With Application to Threefish
Efficient Differential Fault Analysis for AES
Constructing genus 3 hyperelliptic Jacobians with CM
Cryptanalysis of block EnRUPT
Identifying Ideal Lattices
Vision Mark-32: ZK-Friendly Hash Function Over Binary Tower Fields
Compressing Encrypted Data Over Small Fields
Computation Efficient Structure Aware PSI From Incremental Function Secret Sharing
Post-quantum IND-CCA-secure KEM without Additional Hash
Pencil: A Domain-Extended PRF with Full n-bit Security \\ for Strengthening GCM and More
Bandwidth-efficient threshold EC-DSA
Probabilistic Properties of Modular Addition \\ (Extended abstract)
Technical Note: LeanSig for Post-Quantum Ethereum
LARA - A Design Concept for Lattice-based Encryption
RUP Security of the SAEF Authenticated Encryption mode
Private Database Access With HE-over-ORAM Architecture
On the Feasibility of Identity-based Encryption with Equality Test against Insider Attacks
SoK: Understanding BFT Consensus in the Age of Blockchains
A New Generalized Attack on RSA-like Cryptosystems
MMBcloud-tree: Authenticated Index for Verifiable Cloud Service Selection
Two Efficient Regulatory Confi dential Transaction Schemes
Distinguishing Attacks on Stream Ciphers Based on Arrays of Pseudo-random Words
Arguments of Knowledge via hidden order groups
Transitional Leakage in Theory and Practice - Unveiling Security Flaws in Masked Circuits
Impossible Differential Attack on Midori128 Using Rebound-like Technique
Universally Composable NIZKs: Circuit-Succinct, Non-Malleable and CRS-Updatable
The Legendre Symbol and the Modulo-2 Operator in Symmetric Schemes over (F_p)^n
Non-Committing Encryption with Constant Ciphertext Expansion from Standard Assumptions
A note on key control in CSIDH
Privacy-Enhanced Searches Using Encrypted Bloom Filters
On derivatives of polynomials over finite fields through integration
A Conjecture on Hermite Constants
A Single Initialization Server for Multi-Party Cryptography
TRIVIUM's output partially autocancels
Fast Implementations of AES on Various Platforms
High-Speed FPGA Implementation of the SIKE Based on An Ultra-Low-Latency Modular Multiplier
On the Power of Multiple Anonymous Messages
A Note on Non-Interactive Key Exchange from Code Equivalence
Direct Anonymous Attestation
Asymmetric Cryptography from Number Theoretic Transformations
PPS: Privacy Preserving Statistics using RFID Tags
URDP: General Framework for Direct CCA2 Security from any Lattice-Based PKE Scheme
RKHD ElGamal signing and 1-way sums
Multi-Signatures for Ad-hoc and Privacy-Preserving Group Signing
An efficient somewhat homomorphic encryption scheme based on factorization
Method to Protect Passwords in Databases for Web Applications
An Efficient Abuse-Free Fair Contract-Signing Protocol Based on RSA Signature and Σ-protocol
Collecting Data while Preserving Individuals' Privacy: A Case Study
SKINNY with Scalpel - Comparing Tools for Differential Analysis
Success Probability of Multiple/Multidimensional Linear Cryptanalysis Under General Key Randomisation Hypotheses
Monotone Batch NP-Delegation with Applications to Access Control
Differential Fault Analysis of the Advanced Encryption Standard using a Single Fault
A comparison of MNT curves and supersingular curves
Provably Secure Authentication of Digital Media Through Invertible Watermarks
Universally Composable Two-Party and Multi-Party Secure Computation
Proof of a conjecture on a special class of matrices over commutative rings of characteristic 2
Efficient Oblivious Parallel Array Reads and Writes for Secure Multiparty Computation
Homomorphic Evaluation of LWR-based PRFs and Application to Transciphering
Protecting cryptographic code against Spectre-RSB
When Threshold Meets Anamorphic Signatures: What is Possible and What is Not!
A Key-Recovery Attack against Mitaka in the t-Probing Model
SHORTSTACK : Distributed, Fault-tolerant, Oblivious Data Access
On the correct use of the negation map in the Pollard rho method
On a zero-knowledge property of arguments of knowledge based on secure public key encryption schemes
ON THE DEGREE OF HOMOGENEOUS BENT FUNCTIONS
Da Yan Concentrator and Extender of Random Data (DYCE)
Designs of Efficient Secure Large Hash Values
Simplified Modeling of MITM Attacks for Block Ciphers: new (Quantum) Attacks
Cryptanalysis of a timestamp-based password authentication scheme
Provably Secure Two-Factor Authentication Scheme for E-Health Using Smart Card
Hashing to elliptic curves over highly 2-adic fields $\mathbb{F}_{\!q}$ with O(log(q)) operations in $\mathbb{F}_{\!q}$
Logistic Regression Model Training based on the Approximate Homomorphic Encryption
An improvement of discrete Tardos fingerprinting codes
An attack on SIDH with arbitrary starting curve
A Note on "CB-DA: Lightweight and Escrow-Free Certificate-Based Data Aggregation for Smart Grid"
Secret sharing schemes on graphs
To Pass or Not to Pass: Privacy-Preserving Physical Access Control
An MPC-based Privacy-Preserving Protocol for a Local Electricity Trading Market
Powers of Subfield Polynomials and Algebraic Attacks on Word-Based Stream Ciphers
Constant-Size Ciphertext HIBE From Asymmetric Pairings Using the Dual-System Technique
Accumulators in (and Beyond) Generic Groups: Non-Trivial Batch Verification Requires Interaction
Power Analysis Attacks against FPGA Implementations of KLEIN
A Note on the Rank Defect Phenomena in The Linearization Attack on Elisabeth-4
Solving Elliptic Curve Discrete Logarithm Problems Using Weil Descent
Moduar Form Aprroach to Solving Lattice Problems
Projective Arithmetic Functional Encryption and Indistinguishability Obfuscation From Degree-5 Multilinear Maps
Faster Enumeration-based Lattice Reduction: Root Hermite Factor k^(1/(2k)) in Time k^(k/8 + o(k))
Synergy: A Lightweight Block Cipher with Variable Bit Rotation Feistel Network
A Unified Method for Finding Impossible Differentials of Block Cipher Structures
Secret sharing on the infinite ladder
Distinguishing Attacks on a Kind of Generalized Unbalanced Feistel Network
Improved Fully Homomorphic Encryption without Bootstrapping
Programmable encryption and key-dependent messages
SoC it to EM: electromagnetic side-channel attacks on a complex system-on-chip
A new perspective on the powers of two descent for discrete logarithms in finite fields
Decoding Generalized Reed-Solomon Codes and Its Application to RLCE Encryption Scheme
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt
Privacy-Preserving Classification of Personal Text Messages with Secure Multi-Party Computation: An Application to Hate-Speech Detection
Too Much Crypto
Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE, and Compact Garbled Circuits
Time-Lock Encrypted Storage for Blockchains
An Efficient Quantum Oblivious Transfer Protocol
t-Probing (In-)Security - Pitfalls on Noise Assumptions
A Quasigroup Based Random Number Generator for Resource Constrained Environments
Optimized implementation of the NIST PQC submission ROLLO on microcontroller
Robust and Reusable Fuzzy Extractors and their Application to Authentication from Iris Data
A Unified Formalism for Physical Attacks
Provable Virus Detection: Using the Uncertainty Principle to Protect Against Malware
Cryptanalysis of ultralightweight RFID authentication protocol
Verifier-Based Password-Authenticated Key Exchange: New Models and Constructions
Enhancing Local Verification: Aggregate and Multi-Signature Schemes
Improved on an improved remote user authentication scheme with key agreement
Lower bounds on communication for multiparty computation of multiple AND instances with secret sharing
Time-release Cryptography from Minimal Circuit Assumptions
Torus-based cryptography
On the Access Structures of Hyperelliptic Secret Sharing
Rethinking Definitions of Security for Session Key Agreement
Enhanced password-based key establishment protocol
Local permutation polynomials and the action of e-Klenian groups
Improved Boomerang Attacks on 6-Round AES
Automated Penalization of Data Breaches using Crypto-augmented Smart Contracts
tlock: Practical Timelock Encryption from Threshold BLS
Pairing Computation on Elliptic Curves of Jacobi Quartic Form
On the (strong) linkability of Linkable Ring Signatures
Comparing classical and quantum conditional disclosure of secrets
Pirmission: Single-server PIR with Access Control
Folding Schemes with Privacy Preserving Selective Verification
Finding and Protecting the Weakest Link: On Side-Channel Attacks on Masked ML-DSA
Reinforcement Learning-based Design of Side-channel Countermeasures
Some Identity Based Strong Bi-Designated Verifier Signature Schemes
Lattice Gaussian Sampling by Markov Chain Monte Carlo: Bounded Distance Decoding and Trapdoor Sampling
Provable decryption failure security for practical lattice-based PKE
Table Redundancy Method for Protecting against Differential Fault Analysis in the White-box Cryptography
Solving systems of polynomial equations via Macaulay matrices
Strong Machine Learning Attack against PUFs with No Mathematical Model
Success through confidence: Evaluating the effectiveness of a side-channel attack
MixFlow: Assessing Mixnets Anonymity with Contrastive Architectures and Semantic Network Information
Low Depth Circuits for Efficient Homomorphic Sorting
Some observations to speed the polynomial selection in the number field sieve
Publicly Verifiable Secret Sharing over Class Groups and Applications to DKG and YOSO
"Metaproofs" (and their Cryptographic Applications)
Security of Symmetric Encryption Schemes with One-Way IND-CNA Key Setup
On McEliece type cryptosystems using self-dual codes with large minimum weight
Quantum-Safe Protocols and Application in Data Security of Medical Records
Shark: Actively Secure Inference using Function Secret Sharing
A note on mutual correlated agreement for Reed-Solomon codes
Divisible On-line/Off-line Signatures
Randomly Rotate Qubits Compute and Reverse - IT-Secure Non-Interactive Fully-Compact Homomorphic Quantum Computations over Classical Data Using Random Bases
A remark on the Discrete Fourier Transform statistical test
Breaking the DECT Standard Cipher with Lower Time Cost
A cautionary note on the use of Gurobi for cryptanalysis
Drone Targeted Cryptography
A Tutorial on the Implementation of Block Ciphers: Software and Hardware Applications
Resettable Statistical Zero-Knowledge for NP