CANS 2023: INTERNATIONAL CONFERENCE ON CRYPTOLOGY AND NETWORK SECURITY

This page contains an index consisting of author-provided keywords.

A
Active SBox	New Techniques for Modeling SBoxes: An MILP Approach
Advanced Encryption Standard	Hardness of Learning AES with Gradient-based Methods
affine determinant programs	A Minor Note on Obtaining Simpler iO Constructions via Depleted Obfuscators
AND protocols	Upper Bounds on the Number of Shuffles for Two-Helping-Card Multi-Input AND Protocols
Android	Exploiting Android Browser
Anonymous broadcast authentication	Anonymous Broadcast Authentication with Logarithmic-order Ciphertexts from LWE
Asymptotics	How to Enumerate LWE Keys as Narrow as in Kyber/Dilithium
Attribute based encryption	Dually Computable Cryptographic Accumulators and Their Application to Attribute Based Encryption
attribute-based signatures	Traceable Policy-Based Signatures with Delegation
B
binning	A Plug-n-Play Framework for Scaling Private Set Intersection to Billion-sized Sets
Block Cipher	New Techniques for Modeling SBoxes: An MILP Approach
Block Ciphers	Hardness of Learning AES with Gradient-based Methods
blockchain	LucidiTEE: A TEE-Blockchain System for Policy-Compliant Multiparty Computation with Fairness Improving Privacy of Anonymous Proof-of-Stake Protocols Lattice-based Key-Value Commitment scheme with key-binding and key-hiding
Blockchain protocols	Compact Stateful Deterministic Wallet from Isogeny-based Signature featuring Uniquely Rerandomizable Public Keys
blockciphers	Towards Minimizing Non-linearity in Type-II Generalized Feistel Networks
branching programs	A Minor Note on Obtaining Simpler iO Constructions via Depleted Obfuscators
C
Card-based cryptographic protocols	Free-XOR in Card-based Garbled Circuits
Card-based cryptography	Upper Bounds on the Number of Shuffles for Two-Helping-Card Multi-Input AND Protocols
CCPA	Are Current CCPA Compliant Banners Conveying User's Desired Opt-Out Decisions? An Empirical Study of Cookie Consent Banners
cheating detection	Lower Bounds on the Share Size of Leakage Resilient Cheating Detectable Secret Sharing
confidential transactions	CTA: Confidential Transactions Protocol with State Accumulator
Convex Hull	New Techniques for Modeling SBoxes: An MILP Approach
Cookie Consent Banner	Are Current CCPA Compliant Banners Conveying User's Desired Opt-Out Decisions? An Empirical Study of Cookie Consent Banners
COVID-19	Privacy-Preserving Digital Vaccine Passport
CP	Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives
Cryptanalysis	Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
Cryptographic accumulators	Dually Computable Cryptographic Accumulators and Their Application to Attribute Based Encryption
Cube attacks	Key Filtering in Cube Attacks from the Implementation Aspect
D
Deterministic wallet	Compact Stateful Deterministic Wallet from Isogeny-based Signature featuring Uniquely Rerandomizable Public Keys
Differential Cryptanalysis	Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives New Techniques for Modeling SBoxes: An MILP Approach
Digital verifacation	Privacy-Preserving Digital Vaccine Passport
Division property	Key Filtering in Cube Attacks from the Implementation Aspect
Dual pairing vector spaces	Dually Computable Cryptographic Accumulators and Their Application to Attribute Based Encryption
DualRing	A Practical Forward-Secure DualRing
E
exclusive or	Free-XOR in Card-based Garbled Circuits
F
FE	A Minor Note on Obtaining Simpler iO Constructions via Depleted Obfuscators
Forward Security	Forward Security under Leakage Resilience, Revisited A Practical Forward-Secure DualRing
free-XOR	Free-XOR in Card-based Garbled Circuits
G
garbled circuits	Free-XOR in Card-based Garbled Circuits
Generalized Feistel networks	Towards Minimizing Non-linearity in Type-II Generalized Feistel Networks
Gradient-based Learning	Hardness of Learning AES with Gradient-based Methods
group signatures	Traceable Policy-Based Signatures with Delegation
I
information theoretic security	Lower Bounds on the Share Size of Leakage Resilient Cheating Detectable Secret Sharing
iO	A Minor Note on Obtaining Simpler iO Constructions via Depleted Obfuscators
IoT Network	Anonymous Broadcast Authentication with Logarithmic-order Ciphertexts from LWE
Isogenies	Compact Stateful Deterministic Wallet from Isogeny-based Signature featuring Uniquely Rerandomizable Public Keys
K
Key Chain	Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
Key Derivation	Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
Key filtering	Key Filtering in Cube Attacks from the Implementation Aspect
key-binding	Lattice-based Key-Value Commitment scheme with key-binding and key-hiding
key-hiding	Lattice-based Key-Value Commitment scheme with key-binding and key-hiding
L
lattice-based accumulator	CTA: Confidential Transactions Protocol with State Accumulator
lattice-based key-value commitment scheme	Lattice-based Key-Value Commitment scheme with key-binding and key-hiding
leakage resilience	Lower Bounds on the Share Size of Leakage Resilient Cheating Detectable Secret Sharing
Leakage-resilience	Forward Security under Leakage Resilience, Revisited
Learning with errors problem	Anonymous Broadcast Authentication with Logarithmic-order Ciphertexts from LWE
lower bounds	Lower Bounds on the Share Size of Leakage Resilient Cheating Detectable Secret Sharing
LWE Key Search	How to Enumerate LWE Keys as Narrow as in Kyber/Dilithium
M
MILP	Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives
Mixed Integer Linear Programming	New Techniques for Modeling SBoxes: An MILP Approach
O
Overlay	Exploiting Android Browser
P
Pairing	Dually Computable Cryptographic Accumulators and Their Application to Attribute Based Encryption
Permissions	Exploiting Android Browser
policy enforcement	LucidiTEE: A TEE-Blockchain System for Policy-Compliant Multiparty Computation with Fairness
policy-based signatures	Traceable Policy-Based Signatures with Delegation
Post-quantum cryptography	Compact Stateful Deterministic Wallet from Isogeny-based Signature featuring Uniquely Rerandomizable Public Keys
Practical Scheme	A Practical Forward-Secure DualRing
prime fields	Towards Minimizing Non-linearity in Type-II Generalized Feistel Networks
privacy	Improving Privacy of Anonymous Proof-of-Stake Protocols
Privacy-preserving protocol	Privacy-Preserving Digital Vaccine Passport
private set intersection	A Plug-n-Play Framework for Scaling Private Set Intersection to Billion-sized Sets
Privilege Escalation	Exploiting Android Browser
Proof of Stake	Improving Privacy of Anonymous Proof-of-Stake Protocols
provable security	Towards Minimizing Non-linearity in Type-II Generalized Feistel Networks
public-key encryption	Forward Security under Leakage Resilience, Revisited
Q
QUIC	Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
R
Ratchet	Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
Real-life hands-on cryptography	Upper Bounds on the Number of Shuffles for Two-Helping-Card Multi-Input AND Protocols
Representation Technique	How to Enumerate LWE Keys as Narrow as in Kyber/Dilithium
rerandomizable signatures	Traceable Policy-Based Signatures with Delegation
Rerandomized signature	Compact Stateful Deterministic Wallet from Isogeny-based Signature featuring Uniquely Rerandomizable Public Keys
S
SAT	Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives
secret sharing	Lower Bounds on the Share Size of Leakage Resilient Cheating Detectable Secret Sharing
Secret-key Cryptography	Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
Secure computation	Upper Bounds on the Number of Shuffles for Two-Helping-Card Multi-Input AND Protocols
secure multiparty computation	Free-XOR in Card-based Garbled Circuits
Signal	Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
SMT	Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives
spark	A Plug-n-Play Framework for Scaling Private Set Intersection to Billion-sized Sets
Stream Cipher	Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
Stream ciphers	Key Filtering in Cube Attacks from the Implementation Aspect
substitution-permutation networks	Towards Minimizing Non-linearity in Type-II Generalized Feistel Networks
Superpoly	Key Filtering in Cube Attacks from the Implementation Aspect
Symmetric Key	New Techniques for Modeling SBoxes: An MILP Approach
T
TEE	LucidiTEE: A TEE-Blockchain System for Policy-Compliant Multiparty Computation with Fairness
TLS 1.3	Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
TMTO	Hidden Stream Ciphers and TMTO Attacks on TLS 1.3, DTLS 1.3, QUIC, and Signal
U
Usable security study	Are Current CCPA Compliant Banners Conveying User's Desired Opt-Out Decisions? An Empirical Study of Cookie Consent Banners
V
Vaccine passport	Privacy-Preserving Digital Vaccine Passport
Verifiable random function	Improving Privacy of Anonymous Proof-of-Stake Protocols
Z
zero-knowledge proofs	CTA: Confidential Transactions Protocol with State Accumulator

Disclaimer | Powered by EasyChair Smart Program