yusuke1997/dblp-id-title huggingface dataset:
Topics in Cryptology - CT-RSA 2016 - The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings
Attacks on the DECT Authentication Mechanisms
Updatable Public Key Encryption with Strong CCA Security: Security Analysis and Efficient Generic Construction
New Attacks from Old Distinguishers Improved Attacks on Serpent
Second Preimages for SMASH
About the XL Algorithm over GF(2)
Improved Attacks on Reduced-Round Camellia-128/192/256
Tightly Secure Two-Pass Authenticated Key Exchange Protocol in the CK Model
Attacking PUF-Based Pattern Matching Key Generators via Helper Data Manipulation
Topics in Cryptology - CT-RSA 2018 - The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings
Defeating RSA Multiply-Always and Message Blinding Countermeasures
Error Detection in Monotone Span Programs with Application to Communication-Efficient Multi-party Computation
Evaluation of the Detached Power Supply as Side-Channel Analysis Countermeasure for Passive UHF RFID Tags
Secure Audit Logs with Verifiable Excerpts
Aggregate Message Authentication Codes
Composable and Robust Outsourced Storage
Forward-Security in Private-Key Cryptography
Balancing Privacy and Accountability in Blockchain Identity Management
2-Pass Key Exchange Protocols from CPA-Secure KEM
Wireless-Channel Key Exchange
Modeling Memory Faults in Signature and Authenticated Encryption Schemes
Single-Layer Fractal Hash Chain Traversal with Almost Optimal Complexity
Side-Channel Analysis of Weierstrass and Koblitz Curve ECDSA on Android Smartphones
Integral Attacks on Pyjamask-96 and Round-Reduced Pyjamask-128
A Fast Correlation Attack via Unequal Error Correcting LDPC Codes
Generic Construction of Chosen Ciphertext Secure Proxy Re-Encryption
Online Encryption Schemes: New Security Notions and Constructions
Zero-Correlation Linear Cryptanalysis with Equal Treatment for Plaintexts and Tweakeys
Known Plaintext Correlation Attack against RC5
A Fast Correlation Attack on the Shrinking Generator
Provably Secure Public-Key Encryptionfor Length-Preserving Chaumian Mixes
Malicious Cryptography: Kleptographic Aspects
Group Signatures with Message-Dependent Opening in the Standard Model
Revisiting Full-PRF-Secure PMAC and Using It for Beyond-Birthday Authenticated Encryption
An Exposure Model for Supersingular Isogeny Diffie-Hellman Key Exchange
Beyond Provable Security Verifiable IND-CCA Security of OAEP
Analysis of SHA-1 in Encryption Mode
A CCA2 Secure Public Key Encryption Scheme Based on the McEliece Assumptions in the Standard Model
Topics in Cryptology - CT-RSA 2011 - The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings
A Practical and Tightly Secure Signature Scheme Without Hash Function
Post-quantum Provably-Secure Authentication and MAC from Mersenne Primes
RFID-Tags for Anti-counterfeiting
Topics in Cryptology - CT-RSA 2005, The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings
Enhancing Side-Channel Analysis of Binary-Field Multiplication with Bit Reliability
RSA-Based Undeniable Signatures for General Moduli
CryptoGraphics: Secret Key Cryptography Using Graphics Cards
On the Strength of Simply-Iterated Feistel Ciphers with Whitening Keys
Traceable Inner Product Functional Encryption
High-Resolution EM Attacks Against Leakage-Resilient PRFs Explained - And an Improved Construction
How to Strengthen Any Weakly Unforgeable Signature into a Strongly Unforgeable Signature
Speed Records for NTRU
Fully Automated Differential-Linear Attacks Against ARX Ciphers
A Practical Compiler for Attribute-Based Encryption: New Decentralized Constructions and More
Multi-user CDH Problems and the Concrete Security of NAXOS and HMQV
The Width-w NAF Method Provides Small Memory and Fast Elliptic Scalar Multiplications Secure against Side Channel Attacks
Recursive Double-Size Modular Multiplications without Extra Cost for Their Quotients
Software Implementation of the NIST Elliptic Curves Over Prime Fields
An Analysis of Proxy Signatures: Is a Secure Channel Necessary?
Differential Cache-Collision Timing Attacks on AES with Applications to Embedded CPUs
Efficient Password-Authenticated Key Exchange Based on RSA
Traceable Ring Signatures with Post-quantum Security
Flexible Password-Based Encryption: Securing Cloud Storage and Provably Resisting Partitioning-Oracle Attacks
Statistically Hiding Sets
A Non-interactive Shuffle Argument with Low Trust Assumptions
FASTA - A Stream Cipher for Fast FHE Evaluation
Refinement of Miller's Algorithm Over Edwards Curves
The Oracle Diffie-Hellman Assumptions and an Analysis of DHIES
Hardware Performance Characterization of Block Cipher Structures
Directed Transitive Signature Scheme
Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings
Black-Box Side-Channel Attacks Highlight the Importance of Countermeasures - An Analysis of the Xilinx Virtex-4 and Virtex-5 Bitstream Encryption Mechanism
Beyond Modes: Building a Secure Record Protocol from a Cryptographic Sponge Permutation
Improving Robustness of PGP Keyrings by Conflict Detection
Topics in Cryptology - CT-RSA 2014 - The Cryptographer's Track at the RSA Conference 2014, San Francisco, CA, USA, February 25-28, 2014. Proceedings
MixColumns Properties and Attacks on (Round-Reduced) AES with a Single Secret S-Box
Identity Based Undeniable Signatures
Almost Ideal Contrast Visual Cryptography with Reversing
A Generic View on Trace-and-Revoke Broadcast Encryption Schemes
Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems
The Myth of Generic DPA...and the Magic of Learning
Fully Projective Radical Isogenies in Constant-Time
Practical Second-Order DPA Attacks for Masked Smart Card Implementations of Block Ciphers
CCA Secure A Posteriori Openable Encryption in the Standard Model
Re-Encryption Verifiability: How to Detect Malicious Activities of a Proxy in Proxy Re-Encryption
Nonuniform Polynomial Time Algorithm to Solve Decisional Diffie-Hellman Problem in Finite Fields under Conjecture
Hiding Higher-Order Side-Channel Leakage - Randomizing Cryptographic Implementations in Reconfigurable Hardware
Two-Dimensional Representation of Cover Free Families and Its Applications: Short Signatures and More
Robust Encryption, Extended
Encoding-Free ElGamal-Type Encryption Schemes on Elliptic Curves
Public Key Cryptography and RFID Tags
Errors Matter: Breaking RSA-Based PIN Encryption with Thirty Ciphertext Validity Queries
Cold Boot Attacks in the Discrete Logarithm Setting
Hard and Easy Components of Collision Search in the Zémor-Tillich Hash Function: New Attacks and Reduced Variants with Equivalent Security
Randomized Partial Checking Revisited
Power Analysis of Atmel CryptoMemory - Recovering Keys from Secure EEPROMs
Topics in Cryptology - CT-RSA 2007, The Cryptographers' Track at the RSA Conference 2007, San Francisco, CA, USA, February 5-9, 2007, Proceedings
Session Corruption Attack and Improvements on Encryption Based MT-Authenticators
Topics in Cryptology - CT-RSA 2001, The Cryptographer's Track at RSA Conference 2001, San Francisco, CA, USA, April 8-12, 2001, Proceedings
Template Attacks on Masking - Resistance Is Futile
Generic Attack on Iterated Tweakable FX Constructions
WEM: A New Family of White-Box Block Ciphers Based on the Even-Mansour Construction
Dynamic Universal Accumulator with Batch Update over Bilinear Groups
Multicast Key Agreement, Revisited
Improved Graph-Based Model for Recovering Superpoly on Trivium
How to Construct CSIDH on Edwards Curves
Faster Generation of NICE-Schnorr-Type Signatures
Publish or Perish: A Backward-Compatible Defense Against Selfish Mining in Bitcoin
Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting
Post-quantum Online/Offline Signatures
The Exact Multi-user Security of 2-Key Triple DES
The Low-Call Diet: Authenticated Encryption for Call Counting HSM Users
How (Not) to Hash into Class Groups of Imaginary Quadratic Fields?
Communication-Efficient Private Protocols for Longest Common Subsequence
Communication-Efficient 2-Round Group Key Establishment from Pairings
Breaking and Repairing Damgård et al. Public Key Encryption Scheme with Non-interactive Opening
Revocable Hierarchical Identity-Based Encryption: History-Free Update, Security Against Insiders, and Short Ciphertexts
Efficient Delegation of Key Generation and Revocation Functionalities in Identity-Based Encryption
Compilation of Function Representations for Secure Computing Paradigms
Classical and Quantum Security of Elliptic Curve VRF, via Relative Indifferentiability
An Efficient Protocol for Fair Secure Two-Party Computation
Lattice-Based Fault Attacks on Deterministic Signature Schemes of ECDSA and EdDSA
A Practical Optimal Padding for Signature Schemes
Horizontal and Vertical Side-Channel Attacks against Secure RSA Implementations
Related-Tweakey Impossible Differential Attack on Reduced-Round SKINNY-AEAD M1/M3
Faster Homomorphic Encryption is not Enough: Improved Heuristic for Multiplicative Depth Minimization of Boolean Circuits
On the Impossibility of Constructing Non-interactive Statistically-Secret Protocols from Any Trapdoor One-Way Function
New Techniques for Multi-value Input Homomorphic Evaluation and Applications
Surnaming Schemes, Fast Verification, and Applications to SGX Technology
Non-Interactive Plaintext (In-)Equality Proofs and Group Signatures with Verifiable Controllable Linkability
High-Speed Modular Multiplication
A Secure Signature Scheme from Bilinear Maps
Hardware Countermeasures against DPA ? A Statistical Analysis of Their Effectiveness
All Shall FA-LLL: Breaking CT-RSA 2022 and CHES 2022 Infective Countermeasures with Lattice-Based Fault Attacks
Meet-in-the-Middle Attacks on Reduced-Round XTEA
Attribute-Based Signatures
High-Precision Arithmetic in Homomorphic Encryption
Efficient Public Key Cryptosystem Resilient to Key Leakage Chosen Ciphertext Attacks
Bit String Commitment Reductions with a Non-zero Rate
A Generic Construction for Intrusion-Resilient Public-Key Encryption
Divisible On-Line/Off-Line Signatures
Issues of Security with the Oswald-Aigner Exponentiation Algorithm
A Fully Homomorphic Cryptosystem with Approximate Perfect Secrecy
Lattice-Based Threshold, Accountable, and Private Signature
P2OFE: Privacy-Preserving Optimistic Fair Exchange of Digital Signatures
Threshold Properties of Prime Power Subgroups with Application to Secure Integer Comparisons
Foundations of Group Signatures: The Case of Dynamic Groups
Stronger Security Notions for Decentralized Traceable Attribute-Based Signatures and More Efficient Constructions
Adaptively Secure Two-Party Computation with Erasures
Quantum Chosen-Ciphertext Attacks Based on Simon's Algorithm Against Unified Structures
Invisibility and Anonymity of Undeniable and Confirmer Signatures
Applying Remote Side-Channel Analysis Attacks on a Security-Enabled NFC Tag
EPIC: Efficient Private Image Classification (or: Learning from the Masters)
Quasidifferential Saves Infeasible Differential - Improved Weak-Key Key-Recovery Attacks on Round-Reduced GIFT
Strengthening Security of RSA-OAEP
Yet Another Sieving Device
My Gadget Just Cares for Me - How NINA Can Prove Security Against Combined Attacks
Topics in Cryptology - CT-RSA 2009, The Cryptographers' Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings
MJH: A Faster Alternative to MDC-2
A Simple Related-Key Attack on the Full SHACAL-1
Identity-Based Encryption from LWE with More Compact Master Public Key
MIST: An Efficient, Randomized Exponentiation Algorithm for Resisting Power Analysis
Seeing through MIST Given a Small Fraction of an RSA Private Key
Fault Attacks Against emv Signatures
Secure Deduplication of Encrypted Data: Refined Model and New Constructions
Fast Implementation and Fair Comparison of the Final Candidates for Advanced Encryption Standard Using Field Programmable Gate Arrays
Security Weaknesses in Bluetooth
Another Look at Some Isogeny Hardness Assumptions
A Study of the Security of Unbalanced Oil and Vinegar Signature Schemes
Structure-Preserving Certificateless Encryption and Its Application
Short Attribute-Based Signatures for Threshold Predicates
Non-degrading Erasure-Tolerant Information Authentication with an Application to Multicast Stream Authentication over Lossy Channels
Probabilistic Public Key Encryption with Equality Test
Cutting the GRASS: Threshold GRoup Action Signature Schemes
Secure Computation, I/O-Efficient Algorithms and Distributed Signatures
Efficient Concurrent Covert Computation of String Equality and Set Intersection
Group Secret Handshakes Or Affiliation-Hiding Authenticated Group Key Agreement
Topics in Cryptology - CT-RSA 2006, The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2006, Proceedings
Compressing Rabin Signatures
A Bit-Slice Implementation of the Whirlpool Hash Function
Revisiting the Secret Hiding Assumption Used in Verifiable (Outsourced) Computation
Dynamic Symmetric Searchable Encryption from Constrained Functional Encryption
CCA2 Secure IBE: Standard Model Efficiency through Authenticated Symmetric Encryption
Non-interactive Confirmer Signatures
Choosing Parameter Sets forwithand
The k-BDH Assumption Family: Bilinear Map Cryptography from Progressively Weaker Assumptions
Beyond Secret Handshakes: Affiliation-Hiding Authenticated Key Exchange
Practical Attacks on Masked Hardware
INT-RUP Analysis of Block-cipher Based Authenticated Encryption Schemes
Related-Key Impossible Differential Attacks on 8-Round AES-192
Hash Function Combiners in TLS and SSL
Expedient Non-malleability Notions for Hash Functions
Resettable Public-Key Encryption: How to Encrypt on a Virtual Machine
TMPS: Ticket-Mediated Password Strengthening
Key-Private Proxy Re-encryption
Reassessing Security of Randomizable Signatures
Topics in Cryptology - CT-RSA 2008, The Cryptographers' Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings
Periodic Properties of Counter Assisted Stream Ciphers
Improved Key Recovery Algorithms from Noisy RSA Secret Keys with Analog Noise
On the Practical Security of a Leakage Resilient Masking Scheme
Keyed Sum of Permutations: A Simpler RP-Based PRF
PriBank: Confidential Blockchain Scaling Using Short Commit-and-Proof NIZK Argument
A Latency-Free Election Scheme
Legally-Enforceable Fairness in Secure Two-Party Computation
PMAC with Parity: Minimizing the Query-Length Influence
Improved Efficiency for CCA-Secure Cryptosystems Built Using Identity-Based Encryption
Topics in Cryptology - CT-RSA 2017 - The Cryptographers' Track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings
Higher Order Masking of the AES
Constructing TI-Friendly Substitution Boxes Using Shift-Invariant Permutations
Private Liquidity Matching Using MPC
Cut-and-Choose for Garbled RAM
MV3: A New Word Based Stream Cipher Using Rapid Mixing and Revolving Buffers
Efficient Culpably Sound NIZK Shuffle Argument Without Random Oracles
KDM Security in the Hybrid Framework
Shared Generation of Pseudo-Random Functions with Cumulative Maps
Towards Compact Identity-Based Encryption on Ideal Lattices
Oblivious TLS via Multi-party Computation
Fair Identification
Universal Adaptor Signatures from Blackbox Multi-party Computation
NSA's Role in the Development of DES
Mitigating Server Breaches in Password-Based Authentication: Secure and Efficient Solutions
Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes
Online/Offline Signature Schemes for Devices with Limited Computing Capabilities
More Efficient Password-Authenticated Key Exchange
EPID with Malicious Revocation
On Extended Sanitizable Signature Schemes
Server Assisted Signatures Revisited
Comprehensive Robustness Analysis of GCM, CCM, and OCB3
A Cost-Effective Pay-Per-Multiplication Comparison Method for Millionaires
Fair Exchange of Short Signatures without Trusted Third Party
Noisy Simon Period Finding
Two Sides of the Same Coin: Counting and Enumerating Keys Post Side-Channel Attacks Revisited
Transitive Signature Schemes
Authenticated Encryption for Very Short Inputs
Ridge-Based Profiled Differential Power Analysis
Communication Optimal Tardos-Based Asymmetric Fingerprinting
Sub-linear Queries Statistical Databases: Privacy with Power
Co-operatively Formed Group Signatures
A Simple and Improved Algorithm for Integer Factorization with Implicit Hints
Secure Multi-Party Computation of Boolean Circuits with Applications to Privacy in On-Line Marketplaces
Lossy Trapdoor Permutations with Improved Lossiness
Pholkos - Efficient Large-State Tweakable Block Ciphers from the AES Round Function
Choosing Parameters for NTRUEncrypt
Poly-Logarithmic Side Channel Rank Estimation via Exponential Sampling
Attacks on Pseudo Random Number Generators Hiding a Linear Structure
One Round Threshold ECDSA Without Roll Call
Policy-Based Sanitizable Signatures
MemJam: A False Dependency Attack Against Constant-Time Crypto Implementations in SGX
Self-Randomized Exponentiation Algorithms
Two Efficient and Provably Secure Schemes for Server-Assisted Threshold Signatures
Practical Short Signature Batch Verification
Accumulators from Bilinear Pairings and Applications
Consensus from Signatures of Work
Solving BDD by Enumeration: An Update
More Accurate Geometric Analysis on the Impact of Successful Decryptions for IND-CCA Secure Ring/Mod-LWE/LWR Based Schemes
An Automated Evaluation Tool for Improved Rebound Attack: New Distinguishers and Proposals of ShiftBytes Parameters for Grøstl
Identity-Based Threshold Key-Insulated Encryption without Random Oracles
Ciphers with Arbitrary Finite Domains
Getting More from PCA: First Results of Using Principal Component Analysis for Extensive Power Analysis
Secure Fast Evaluation of Iterative Methods: With an Application to Secure PageRank
Weak Keys for AEZ, and the External Key Padding Attack
Improved Factorization of N=p^rq^s
Topics in Cryptology - CT-RSA 2015, The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings
Improved Boneh-Shaw Content Fingerprinting
Extending NIST's CAVP Testing of Cryptographic Hash Function Implementations
Strongly Leakage-Resilient Authenticated Key Exchange
Related-Key Attacks on Triple-DES and DESX Variants
Rethinking Verifiably Encrypted Signatures: A Gap in Functionality and Potential Solutions
Overdrive2k: Efficient Secure MPC over $\mathbb {Z}_{2^k}$ from Somewhat Homomorphic Encryption
A Duality in Space Usage between Left-to-Right and Right-to-Left Exponentiation
DSKE: Digital Signatures with Key Extraction
Topics in Cryptology - CT-RSA 2003, The Cryptographers' Track at the RSA Conference 2003, San Francisco, CA, USA, April 13-17, 2003, Proceedings
Large Universe Subset Predicate Encryption Based on Static Assumption (Without Random Oracle)
Stand-Alone and Setup-Free Verifiably Committed Signatures
Efficient Fully-Simulatable Oblivious Transfer
An Efficient Encapsulation Scheme from Near Collision Resistant Pseudorandom Generators and Its Application to IBE-to-PKE Transformations
A Variant of the F4 Algorithm
Side-Channeling the Kalyna Key Expansion
Linearly Homomorphic Encryption from $$\mathsf {DDH}$$
Rotational-XOR Differential Rectangle Cryptanalysis on Simon-Like Ciphers
SoK: How (not) to Design and Implement Post-quantum Cryptography
MILP-Based Differential Attack on Round-Reduced GIFT
The Key-Dependent Message Security of Key-Alternating Feistel Ciphers
Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
Small Secret Key Attack on a Variant of RSA (Due to Takagi)
Targeted Invertible Pseudorandom Functions and Deterministic Format-Transforming Encryption
Weak Keys of the Full MISTY1 Block Cipher for Related-Key Differential Cryptanalysis
Boomerang Attacks on Hash Function Using Auxiliary Differentials
Gauss Sieve Algorithm on GPUs
Improved Heuristics for Low-Latency Implementations of Linear Layers
REACT: Rapid Enhanced-Security Asymmetric Cryptosystem Transform
Multi-party Revocation in Sovrin: Performance through Distributed Trust
Adaptive-ID Secure Revocable Identity-Based Encryption
A New Two-Party Identity-Based Authenticated Key Agreement
Sequential Indifferentiability of 7-Round Misty Structures
RSA Shortcuts
Batch Signatures, Revisited
Cryptanalysis of Compact-LWE
Optimization of Rainbow Tables for Practically Cracking GSM A5/1 Based on Validated Success Rate Modeling
Localized Electromagnetic Analysis of Cryptographic Implementations
Public Key Encryption Resilient to Post-challenge Leakage and Tampering Attacks
Improving the Efficiency of Impossible Differential Cryptanalysis of Reduced Camellia and MISTY1
Feeding Two Cats with One Bowl: On Designing a Fault and Side-Channel Resistant Software Encoding Scheme
Plaintext-Checkable Encryption
Exploiting Collisions in Addition Chain-Based Exponentiation Algorithms Using a Single Trace
Higher-Order Masking in Practice: A Vector Implementation of Masked AES for ARM NEON
Toward the Fair Anonymous Signatures: Deniable Ring Signatures
Ascon MAC, PRF, and Short-Input PRF - Lightweight, Fast, and Efficient Pseudorandom Functions
Linking Stam's Bounds with Generalized Truncation
Batch Processing of Interactive Proofs
Secure Set Intersection with Untrusted Hardware Tokens
Compact E-Cash from Bounded Accumulator
Many Weak Keys for PRINTcipher: Fast Key Recovery and Countermeasures
Timing Attack against Protected RSA-CRT Implementation Used in PolarSSL
Observability Analysis - Detecting When Improved Cryptosystems Fail
A Generic Conversion with Optimal Redundancy
Using Fewer Qubits in Shor's Factorization Algorithm Via Simultaneous Diophantine Approximation
Broadcast Steganography
Hardware Implementation and Side-Channel Analysis of Lapin
On-Line/Off-Line DCR-Based Homomorphic Encryption and Applications
Practical Distributed Signatures in the Standard Model
Which Ring Based Somewhat Homomorphic Encryption Scheme is Best?
Robust Subgroup Multi-signatures for Consensus
Short Transitive Signatures for Directed Trees
Short Redactable Signatures Using Random Trees
Timing Attacks on NTRUEncrypt Via Variation in the Number of Hash Calls
Reducing the Key Size of Rainbow Using Non-commutative Rings
Topics in Cryptology - CT-RSA 2012 - The Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012. Proceedings
Fast Secure Comparison for Medium-Sized Integers and Its Application in Binarized Neural Networks
Improved Secure Integer Comparison via Homomorphic Encryption
Related-Key Analysis of Generalized Feistel Networks with Expanding Round Functions
New Key Agreement Protocols in Braid Group Cryptography
Quantum Chosen-Ciphertext Attacks Against Feistel Ciphers
SoK: A Consensus Taxonomy in the Blockchain Era
One-More Assumptions Do Not Help Fiat-Shamir-type Signature Schemes in NPROM
Montgomery in Practice: How to Do It More Efficiently in Hardware
The Security of Hidden Field Equations (HFE)
Analyzing Permutations for AES-like Ciphers: Understanding ShiftRows
Scalable Algorithm for Montgomery Multiplication and Its Implementation on the Coarse-Grain Reconfigurable Chip
Fast and Proven Secure Blind Identity-Based Signcryption from Pairings
Using an Error-Correction Code for Fast, Beyond-Birthday-Bound Authentication
Program Obfuscation and One-Time Programs
Full Disk Encryption: Bridging Theory and Practice
NFLlib: NTT-Based Fast Lattice Library
A New Criterion for Nonlinearity of Block Ciphers
Efficient CCA-Secure PKE from Identity-Based Techniques
Language Change and the Force of Innovation
Variable Selection in Logistic Regression: The British English Dative Alternation
Vague Determiner Phrases and Distributive Predication
Abductive Reasoning for Continual Dialogue Understanding
A Generalized Quantifier Concept in Computational Complexity Theory
Lambek Calculus with Optional Divisions
A Problem for Downward Closure in the Semantics of Counterfactuals
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers
Wh-variable Licensing in Mandarin Chinese
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems