yusuke1997/dblp-id-title huggingface dataset:
Simple Construction of PEKS from LWE-Based IBE in the Standard Model
Deterministic Random Oracles
A Tamper-Evident Voting Machine Resistant to Covert Channels
Token-Based Multi-input Functional Encryption
Batched Fully Dynamic Multi-key FHE from FHEW-Like Cryptosystems
Server-Aided Verification Signatures: Definitions and New Constructions
Long-Term Secure Time-Stamping Using Preimage-Aware Hash Functions - (Short Version)
Stronger Security of Authenticated Key Exchange
Fully Secure Unbounded Zero Inner Product Encryption with Short Ciphertexts and Keys
Password-Based Authenticated Key Exchange: An Overview
Breaking and Fixing of an Identity Based Multi-Signcryption Scheme
A CDH-Based Strongly Unforgeable Signature Without Collision Resistant Hash Function
Claimable Multi-designated Verifier Signature
Authenticated Key Exchange with Entities from Different Settings and Varied Groups
Provable and Practical Security - 16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022, Proceedings
Logarithmic-Size Ring Signatures with Tight Security from the DL Assumption
Provable and Practical Security - 15th International Conference, ProvSec 2021, Guangzhou, China, November 5-8, 2021, Proceedings
Secure Collaboration Between Consortiums in Permissioned Blockchains
Efficient and Random Oracle-Free Conditionally Anonymous Ring Signature
Tighter Security for Efficient Lattice Cryptography via the Rényi Divergence of Optimized Orders
Secure Transfer Learning for Machine Fault Diagnosis Under Different Operating Conditions
Epoch Confidentiality in Updatable Encryption
Weak Oblivious Transfer from Strong One-Way Functions
Towards Enhanced Security for Certificateless Public-Key Authenticated Encryption with Keyword Search
Plum: SNARK-Friendly Post-Quantum Signature Based on Power Residue PRFs
Zero-Knowledge Protocols for NTRU: Application to Identification and Proof of Plaintext Knowledge
Ensuring Fair Data Trading via Passive Proxy Re-encryption with Smart Contracts
On the Leakage of Corrupted Garbled Circuits
Self-healing Key Distribution with Revocation and Resistance to the Collusion Attack in Wireless Sensor Networks
Solving ECDLP via List Decoding
Identification Scheme and Forward-Secure Signature in Identity-Based Setting from Isogenies
History-Free Sequential Aggregate MAC Revisited
Secure Two-Party Computation over a Z-Channel
Identity-Based Verifiably Encrypted Signatures without Random Oracles
Constant-Size Lattice-Based Group Signature with Forward Security in the Standard Model
POSTER: AI-Based Physical Layer Key Generation Mechanism
Reinforcement-Mining: Protecting Reward in Selfish Mining
Formal Security Treatments for Signatures from Identity-Based Encryption
Lattice-Based IBE with Equality Test in Standard Model
Leakage-Resilient Non-interactive Key Exchange in the Continuous-Memory Leakage Setting
Secure Cumulative Reward Maximization in Linear Stochastic Bandits
Provable and Practical Security - 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part II
Reversible Data Hiding in Encrypted Images Based on Block Classification Coding of Sparse Representation
Optimized Implementation of NTRU on RISC-V Platform
Efficient Fully Secure Attribute-Based Encryption Schemes for General Access Structures
Fuzzy Public-Key Encryption Based on Biometric Data
On-demand Privacy Preservation for Cost-Efficient Edge Intelligence Model Training
Linear Cryptanalysis of Lightweight Block Cipher WARP
Towards a Secure Certificateless Proxy Re-Encryption Scheme
Formal Proof of Provable Security by Game-Playing in a Proof Assistant
Single Private-Key Generator Security Implies Multiple Private-Key Generators Security
Enabling Efficient Cross-Shard Smart Contract Calling via Overlapping
Forward-Secure Sequential Aggregate Message Authentication Revisited
Misuse-Resistant Variants of the OMD Authenticated Encryption Mode
BDEC: Enhancing Learning Credibility via Post-quantum Digital Credentials
A Framework for Constructing Convertible Undeniable Signatures
Key-Dependent Message Security for Division Function: Discouraging Anonymous Credential Sharing
Zero-Knowledge Range Arguments for Signed Fractional Numbers from Lattices
Optimal Threshold Changeable Secret Sharing with New Threshold Change Range
Codes Based Tracing and Revoking Scheme with Constant Ciphertext
Secure Five-Party Computation with Private Robustness and Minimal Online Communication
An Anonymous Designated Verifier Signature Scheme with Revocation: How to Protect a Company's Reputation
An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles
Fully Secure Threshold Unsigncryption
Generic Constant-Round Oblivious Sorting Algorithm for MPC
Efficient Ciphertext Policy Attribute-Based Encryption with Constant-Size Ciphertext and Constant Computation-Cost
On the Hardness of Learning Parity with Noise over Rings
Provable Secure Constructions for Broadcast Encryption with Personalized Messages
ID-based Data Integrity Auditing Scheme from RSA with Resisting Key Exposure
Forward Secrecy of SPAKE2
Federated Intrusion Detection Under Non-IID Traffic
Security of Two NIST Candidates in the Presence of Randomness Reuse
Efficient and Provably Secure Certificateless Multi-receiver Signcryption
Forward-Secure Authenticated Symmetric Key Exchange Protocol: New Security Model and Secure Construction
Constructions of Unconditionally Secure Broadcast Encryption from Key Predistribution Systems with Trade-Offs Between Communication and Storage
A Timed-Release Proxy Re-encryption Scheme and Its Application to Fairly-Opened Multicast Communication
On the Insecurity of the Fiat-Shamir Signatures with Iterative Hash Functions
SecFloatPlus: More Accurate Floating-Point Meets Secure Two-Party Computation
Constant-Size Group Signatures with Message-Dependent Opening from Lattices
Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library
Concurrent Signatures with Fully Negotiable Binding Control
Secure Multi-label Classification over Encrypted Data in Cloud
Provable Security - 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings
Anonymous Signatures Revisited
Black-Box Separations of Hash-and-Sign Signatures in the Non-Programmable Random Oracle Model
DPAC: A New Data-Centric Privacy-Preserving Access Control Model
Security Notions for Cloud Storage and Deduplication
Towards Static Assumption Based Cryptosystem in Pairing Setting: Further Applications of DéjàQ and Dual-Form Signature (Extended Abstract)
Factoring-Based Proxy Re-Encryption Schemes
Identity-Concealed Authenticated Encryption from Ring Learning with Errors
Timed-Release Encryption Revisited
On Modeling Terrorist Frauds - Addressing Collusion in Distance Bounding Protocols
POSTER: Tricking LLM-Based NPCs into Spilling Secrets
Accountable Ciphertext-Policy Attribute-Based Encryption Scheme Supporting Public Verifiability and Nonrepudiation
Multi-cast Key Distribution: Scalable, Dynamic and Provably Secure Construction
A New Blockchain-Based Value-Added Tax System
Automating Computational Proofs for Public-Key-Based Key Exchange
Blocklistable Anonymous Credential for Circuits with Post-quantum Security
Card-Based Zero-Knowledge Proof Protocols for Graph Problems and Their Computational Model
Generic Construction of Withdrawable Signature from Hash-Then-One-Way Signature
Bootstrapping Fully Homomorphic Encryption with Ring Plaintexts Within Polynomial Noise
Integrity Analysis of Authenticated Encryption Based on Stream Ciphers
Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols
A Practical NIZK Argument for Confidential Transactions over Account-Model Blockchain
Provable and Practical Security - 19th International Conference, ProvSec 2025, Yokohama, Japan, October 10-12, 2025, Proceedings
Impossibility of the Provable Security of the Schnorr Signature from the One-More DL Assumption in the Non-programmable Random Oracle Model
One-Round Authenticated Group Key Exchange from Isogenies
A Critique of Game-Based Definitions of Receipt-Freeness for Voting
Sound Proof of Proximity of Knowledge
Security of a Leakage-Resilient Protocol for Key Establishment and Mutual Authentication
Verifiably Encrypted Group Signatures
A Suite of Non-pairing ID-Based Threshold Ring Signature Schemes with Different Levels of Anonymity (Extended Abstract)
Efficient Fork-Free BLS Multi-signature Scheme with Incremental Signing
How to Remove the Exponent GCD in HK09
Provable and Practical Security - 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25-27, 2024, Proceedings, Part I
Efficient Private Set Intersection Cardinality in the Presence of Malicious Adversaries
Ciphertext-Policy Attribute Based Encryption Supporting Access Policy Update
A Hidden Markov Model-Based Method for Virtual Machine Anomaly Detection
Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer
Strongly Secure Two-Party Certificateless Key Agreement Protocol with Short Message
Provable and Practical Security - 17th International Conference, ProvSec 2023, Wuhan, China, October 20-22, 2023, Proceedings
Identification Schemes of Proofs of Ability Secure against Concurrent Man-in-the-Middle Attacks
Symbolic Methods for Provable Security
Impossibility of Surjective Icart-Like Encodings
Key-Range Attribute-Based Signatures for Range of Inner Product and Its Applications
Secure Online/Offline Attribute-Based Encryption for IoT Users in Cloud Computing
Lattice-Based Non-interactive Blind Signature Schemes in the Random Oracle Model
CDRF: A Detection Method of Smart Contract Vulnerability Based on Random Forest
Fully Secure Doubly-Spatial Encryption under Simple Assumptions
An Efficient Key-Policy Attribute-Based Searchable Encryption in Prime-Order Groups
Provably Secure Proactive Secret Sharing Without the Adjacent Assumption
Model Extraction Attack on MPC Hardened Vertical Federated Learning
(Public) Verifiability for Composable Protocols Without Adaptivity or Zero-Knowledge
Reset-Secure Identity-Based Identification Schemes Without Pairings
BetterTimes - Privacy-Assured Outsourced Multiplications for Additively Homomorphic Encryption on Finite Fields
Short Lattice Signatures in the Standard Model with Efficient Tag Generation
SMHSDVS: A Secure and Mutual Heterogeneous Strong Designated Signature Between PKI and IBC
Construction of a Hybrid HIBE Protocol Secure Against Adaptive Attacks
A Generic Construction of CCA-Secure Attribute-Based Encryption with Equality Test
On Capabilities of Hash Domain Extenders to Preserve Enhanced Security Properties
A Privacy-Preserving Takeaway Delivery Service Scheme
Multi-party Computation with Small Shuffle Complexity Using Regular Polygon Cards
Deniable Ring Authentication Based on Projective Hash Functions
FolketID: A Decentralized Blockchain-Based NemID Alternative Against DDoS Attacks
Verifiable Functional Encryption Using Intel SGX
Improved Constant-Time Modular Inversion
Anonymous Identity-Based Hash Proof System and Its Applications
k-time Proxy Signature: Formal Definition and Efficient Construction
A Novel Framework for Protocol Analysis
An Hybrid Approach for Efficient Multicast Stream Authentication over Unsecured Channels
Generic Transformation to Strongly Existentially Unforgeable Signature Schemes with Leakage Resiliency
Practical Non-malleable Codes from Symmetric-Key Primitives in 2-Split-State Model
Input-Aware Equivocable Commitments and UC-secure Commitments with Atomic Exchanges
Fast Out-of-Band Data Integrity Monitor to Mitigate Memory Corruption Attacks
Secure Naïve Bayesian Classification over Encrypted Data in Cloud
A Homomorphic Proxy Re-encryption from Lattices
Constructing Subspace Membership Encryption through Inner Product Encryption
A CCA Secure Hybrid Damgård's ElGamal Encryption
Natural sd-RCCA Secure Public-Key Encryptions
Revocable Predicate Encryption from Lattices
A Round-Optimal Near-Linear Third-Party Private Set Intersection Protocol
Does Secure Time-Stamping Imply Collision-Free Hash Functions?
Toward an Easy-to-Understand Structure for Achieving Chosen Ciphertext Security from the Decisional Diffie-Hellman Assumption
A Secure Cloud Backup System with Deduplication and Assured Deletion
Private Decision Tree Evaluation with Constant Rounds via (Only) SS-3PC over Ring
Chosen-Ciphertext Secure RSA-Type Cryptosystems
Secure and Efficient Construction of Broadcast Encryption with Dealership
Registered Attribute-Based Signature with Attribute Privacy
Deniable Version of SIGMA Key Exchange Protocol Resilient to Ephemeral Key Leakage
Optimal Online/Offline Signature: How to Sign a Message without Online Computation
On the Notions of PRP - RKA , KR and KR - RKA for Block Ciphers
Efficient Attribute-Based Signature for Monotone Predicates
Perfect Keyword Privacy in PEKS Systems
Subversion-Resilient Authenticated Key Exchange with Reverse Firewalls
CCA2-Secure Threshold Broadcast Encryption with Shorter Ciphertexts
Provable and Practical Security - 14th International Conference, ProvSec 2020, Singapore, November 29 - December 1, 2020, Proceedings
On Provable Security of wPRF-Based Leakage-Resilient Stream Ciphers
Bit Security of the Hyperelliptic Curves Diffie-Hellman Problem
Efficient Confirmer Signatures from the "Signature of a Commitment" Paradigm
Provable Security - 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings
User-Mediated Authentication Protocols and Unforgeability in Key Collision
Secure Obfuscation of Encrypted Verifiable Encrypted Signatures
Revisiting a Secret Sharing Approach to Network Codes
Translation-Randomizable Distributions via Random Walks
A Provably Secure Ring Signature Scheme in Certificateless Cryptography
Identity-Based Trace and Revoke Schemes
Provable Security - 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings
Secure-Channel Free Certificateless Searchable Public Key Authenticated Encryption with Keyword Search
A Secure Reverse Multi-Attribute First-Price E-Auction Mechanism Using Multiple Auctioneer Servers (Work in Progress)
Towards Multi-user Searchable Encryption Supporting Boolean Query and Fast Decryption
Functional Signcryption: Notion, Construction, and Applications
Attribute-Based Signcryption : Signer Privacy, Strong Unforgeability and IND-CCA2 Security in Adaptive-Predicates Attack
Verifiable Computation in Multiparty Protocols with Honest Majority
Tightly Secure Identity-Based Signature from Cryptographic Group Actions
Improved Indistinguishability for Searchable Symmetric Encryption
Server-Controlled Identity-Based Authenticated Key Exchange
Universally Composable Security Analysis of TLS
BAdASS: Preserving Privacy in Behavioural Advertising with Applied Secret Sharing
Efficient Escrow-Free Identity-Based Signature
Full PRF-Secure Message Authentication Code Based on Tweakable Block Cipher
NIKE from Affine Determinant Programs
AccountCatcher: Anomaly Blockchain Account Detection Based on Hybrid Graph-Based Model
The Security of the OCB Mode of Operation without the SPRP Assumption
Provable Security - 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings
Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use
Round-Optimal Blind Signatures from Waters Signatures
Threshold Ring Signature Scheme from Cryptographic Group Action
Collision Resistant Double-Length Hashing
Self-enforcing Private Inference Control
Gateway-Oriented Password-Authenticated Key Exchange Protocol with Stronger Security
Efficient Identity-Based Signcryption in the Standard Model
Dynamic Self-feedback Mechanism for Improved Privacy Budgeting in LDP-SGD
Privacy-Preserving Authentication for Tree-Structured Data with Designated Verification in Outsourced Environments
Privacy-Preserving LLM Agent for Multi-modal Health Monitoring
A Certificateless Aggregate Signature Scheme with Better Security
A Formal Dynamic Verification of Choreographed Web Services Conversations
Anonymous Conditional Proxy Re-encryption without Random Oracle
Improved Key-Recovery Attacks Under Imperfect SCA Oracle for Lattice-Based KEMs
Verifiable Homomorphic Secret Sharing
A Calculus for Game-Based Security Proofs
Group Signature Without Random Oracles from Randomizable Signatures
Generic Double-Authentication Preventing Signatures and a Post-quantum Instantiation
Improved Cryptanalysis of the KMOV Elliptic Curve Cryptosystem
Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups
SEARCHAIN: Searchable Encryption As Rewarded-Useful-Work on Blockchain
Fair and Sound Secret Sharing from Homomorphic Time-Lock Puzzles
Provable Security - 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings
FSPVDsse: A Forward Secure Publicly Verifiable Dynamic SSE Scheme
Provable Security - 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings
LR-UESDE: A Continual-Leakage Resilient Encryption with Unbounded Extensible Set Delegation
One-Round Attribute-Based Key Exchange in the Multi-party Setting
Fine-Grained Conditional Proxy Re-Encryption and Application
Authenticated Key Exchange Protocols Based on Factoring Assumption
simuBits: Pool Security Verification of Novel Mining Attacks
On Multi-User Security of Lattice-Based Signature Under Adaptive Corruptions and Key Leakages
Universally Composable Private Proximity Testing
Can We Construct Unbounded Time-Stamping Schemes from Collision-Free Hash Functions?
Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings
Towards Anonymous Ciphertext Indistinguishability with Identity Leakage
Threshold Ring Signatures: From DualRing to the t+1 Rings
An Attack to Universally Composable Commitments from Malicious Physically Uncloneable Functions and How to Avoid It
Rethinking Privacy for Extended Sanitizable Signatures and a Black-Box Construction of Strongly Private Schemes
Optimal Structure-Preserving Signatures
Timed-Release Computational Secret Sharing Scheme and Its Applications
GenDetect: Generative Large Language Model Usage in Smart Contract Vulnerability Detection
Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices
TMQV: A Strongly eCK-Secure Diffie-Hellman Protocol without Gap Assumption
Improved Security Model for Public-Key Authenticated Encryption with Keyword Search
On Proofs of Security for DAA Schemes
Hierarchical Functional Signcryption: Notion and Construction
Efficient Dynamic Provable Data Possession from Dynamic Binary Tree
A Universally Composable Framework for the Analysis of Browser-Based Security Protocols
Identity-Based Batch Provable Data Possession
Homomorphic Witness Encryption from Indistinguishable Obfuscation
Public Key Based Searchable Encryption with Fine-Grained Sender Permission Control
Secure Keyword Search Using Bloom Filter with Specified Character Positions
Post-quantum Sigma Protocols and Signatures from Low-Rank Matrix Completions
How to Use Pseudorandom Generators in Unconditional Security Settings
PolyE+CTR: A Swiss-Army-Knife Mode for Block Ciphers
AdvPurge: A Robust Personalized Federated Learning Framework Against Backdoor Attack
An Improved Attack for Recovering Noisy RSA Secret Keys and Its Countermeasure
Plaintext-Verifiably-Checkable Encryption
Relationship of Three Cryptographic Channels in the UC Framework
A New Revocable Attribute Based Encryption on Lattice
An Efficient Keyword-Based Ciphertext Retrieval Scheme
Strongly Authenticated Key Exchange Protocol from Bilinear Groups without Random Oracles
Electrum: UC Fail-Stop Server-Supported Signatures
Anonymous Encryption with Partial-Order Subset Delegation Functionality
On Sealed-Bid Combinatorial Auction with Privacy-Preserving Dynamic Programming
Asynchronous Byzantine Fault Tolerance Reliable Broadcast Based on Directed Acyclic Graph
Universally Composable Cryptographic Role-Based Access Control
Efficient Broadcast Encryption with Personalized Messages
Generic Construction of Sequential Aggregate MACs from Any MACs
Reusable Fuzzy Extractor from Isogeny
General Construction of Chameleon All-But-One Trapdoor Functions
Multivariate Encryption Schemes Based on the Constrained MQ Problem
Watermarkable Signature with Computational Function Preserving
Consecutive Adaptor Signature Scheme: From Two-Party to N-Party Settings
A Black-Box Construction of Strongly Unforgeable Signature Schemes in the Bounded Leakage Model
Combined Public-Key Schemes: The Case of ABE and ABS
Improved Authenticity Bound of EAX, and Refinements
A Lattice Reduction Algorithm Based on Sublattice BKZ
On the CCA2 Security of McEliece in the Standard Model
Round Optimal Universally Composable Oblivious Transfer Protocols
FP 2 -MIA: A Membership Inference Attack Free of Posterior Probability in Machine Unlearning
Decryptable Searchable Encryption
CIL Security Proof for a Password-Based Key Exchange
Quantum Safe Computation-Friendly Identity-Binding Password Authenticated Key Exchange
Provable Security, Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings
Lightweight Anonymous Authentication for Ad Hoc Group: A Ring Signature Approach
Complete Robustness in Identity-Based Encryption
GUC-Secure Set-Intersection Computation
Cryptographic Role-Based Access Control, Reconsidered
Linicrypt in the Ideal Cipher Model
Simplified Server-Aided Revocable Identity-Based Encryption from Lattices
A Brief History of Security Models for Confidentiality
Signcryption-Based Encrypted Traffic Detection Scheme for Fast Establishing Secure Connections
A Coin-Free Oracle-Based Augmented Black Box Framework
Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses
Taxonomical Security Consideration of Authenticated Key Exchange Resilient to Intermediate Computation Leakage
Non Observability in the Random Oracle Model
Lossy Trapdoor Relation and Its Applications to Lossy Encryption and Adaptive Trapdoor Relation
Receiver Selective Opening CCA Secure Public Key Encryption from Various Assumptions
OrBit: OR-Proof Identity-Based Identification with Tight Security for (as Low As) 1-Bit Loss
Fuzzy Deduplication Scheme Supporting Pre-verification of Label Consistency
Equivalence between MAC, WCR and PRF for Blockcipher Based Constructions
Formal and Precise Analysis of Soundness of Several Shuffling Schemes
On the (M)iNTRU Assumption in the Integer Case
Distinguishing Distributions Using Chernoff Information
Many-Time Linkable Ring Signatures
One-Time Delegation of Unlinkable Signing Rights and Its Application
Efficient Attribute-Based Encryption with Blackbox Traceability
A CCA-Full-Anonymous Group Signature with Verifiable Controllable Linkability in the Standard Model
Leaky Random Oracle (Extended Abstract)
Space-Efficient and Secure Substring Searchable Symmetric Encryption Using an Improved DAWG
Interpreting Hash Function Security Proofs
A CCA-Secure Collusion-Resistant Identity-Based Proxy Re-Encryption Scheme
Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
A2V: Anonymous and Accountable Voting Framework via Blockchain
Unique Signature with Short Output from CDH Assumption
Efficient (Anonymous) Compact HIBE from Standard Assumptions
POSTER: A Server-Side Proactive Defense Framework for Poison-Resilient Federated Learning
Towards Proofs of Ownership Beyond Bounded Leakage
How to Use Merkle-Damgård - On the Security Relations between Signature Schemes and Their Inner Hash Functions
Efficient Zero-Knowledge Arguments for Matrix Relations over Rings and Non-malleable Enhancement
Efficient Variants of TNT with BBB Security
How to Prove Security of a Signature with a Tighter Security Reduction
Improving the Accuracy of Transaction-Based Ponzi Detection on Ethereum
Source Code Guardrail: AI Driven Solution to Distinguish Critical vs. Generic Code for Enterprise LLM Security
Towards Certificate-Based Group Encryption
Precise Time and Space Simulatable Zero-Knowledge
Password-Based Authenticated Key Exchange from Standard Isogeny Assumptions
Secure Proxy Multi-signature Scheme in the Standard Model
Cryptographic Protocols from Lattices